CorpuscularObject Comparison Table

Entity > Physical > Object > SelfConnectedObject > CorpuscularObject

Next SelfConnectedObject: Region Up: SelfConnectedObject Previous SelfConnectedObject: Substance

CorpuscularObject comparison table

Subject be third domain of documentation be disjoint from be second domain of be first domain of have axiom

AnatomicalStructure connects A normal or pathological part of the anatomy or structural organization of an Organism Organism material component
(=>
(instance ?STRUCT EmbryonicStructure)
(exists (?THING)
(and
(developmentalForm ?THING ?STRUCT)
(or
(instance ?THING Organism)
(instance ?THING AnatomicalStructure)))))

Artifact connects An Object with separable parts that is the product of an IntentionalProcess Substance version version
(=>
(instance ?MAKE Making)
(exists (?ARTIFACT)
(and
(instance ?ARTIFACT Artifact)
(result ?MAKE ?ARTIFACT))))

Molecule connects A Molecule is a set of Atoms that are chemically bonded together Substance material component
(=>
(instance ?VIRUS Virus)
(exists (?MOL1)
(and
(component ?MOL1 ?VIRUS)
(instance ?MOL1 Molecule)
(forall (?MOL2)
(=>
(and
(component ?MOL2 ?VIRUS)
(instance ?MOL2 Molecule))
(equal ?MOL1 ?MOL2))))))

Organism representsForAgent Generally, a living individual, including all Plants and Animals Substance parent parent
(=>
(and
(instance ?VIRUS Virus)
(inhabits ?VIRUS ?OBJ))
(instance ?OBJ Organism))

SubmolecularObject connects The Class of CorpuscularObjects that compose Molecules Substance material component
(=>
(instance ?SUBMOLE SubmolecularObject)
(exists (?MOLE)
(and
(instance ?MOLE Molecule)
(part ?SUBMOLE ?MOLE))))

Subject	be third domain of	documentation	be disjoint from	be second domain of	be first domain of	have axiom
AnatomicalStructure	connects	A normal or pathological part of the anatomy or structural organization of an Organism	Organism	material	component	(=> (instance ?STRUCT EmbryonicStructure) (exists (?THING) (and (developmentalForm ?THING ?STRUCT) (or (instance ?THING Organism) (instance ?THING AnatomicalStructure)))))
Artifact	connects	An Object with separable parts that is the product of an IntentionalProcess	Substance	version	version	(=> (instance ?MAKE Making) (exists (?ARTIFACT) (and (instance ?ARTIFACT Artifact) (result ?MAKE ?ARTIFACT))))
Molecule	connects	A Molecule is a set of Atoms that are chemically bonded together	Substance	material	component	(=> (instance ?VIRUS Virus) (exists (?MOL1) (and (component ?MOL1 ?VIRUS) (instance ?MOL1 Molecule) (forall (?MOL2) (=> (and (component ?MOL2 ?VIRUS) (instance ?MOL2 Molecule)) (equal ?MOL1 ?MOL2))))))
Organism	representsForAgent	Generally, a living individual, including all Plants and Animals	Substance	parent	parent	(=> (and (instance ?VIRUS Virus) (inhabits ?VIRUS ?OBJ)) (instance ?OBJ Organism))
SubmolecularObject	connects	The Class of CorpuscularObjects that compose Molecules	Substance	material	component	(=> (instance ?SUBMOLE SubmolecularObject) (exists (?MOLE) (and (instance ?MOLE Molecule) (part ?SUBMOLE ?MOLE))))

Next SelfConnectedObject: Region Up: SelfConnectedObject Previous SelfConnectedObject: Substance