OrganicObject - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - OrganicObject

OrganicObject(organic object)

acicula, adenoid, adrenal, analogous, areolar, areolate, assurgent, autologous, bicapsular, bilocular, biloculate, bodily, cancellate, cancellated, cancellous, clathrate, corporal, corporeal, dedifferentiated, differentiated, generalised, generalized, heterologic, heterological, heterologous, homologic, homological, homologous, inorganic, man-made, monovalent, nonsynthetic, organic, pedunculate, physical, polyvalent, pruning, seasoned, semisynthetic, somatic, stalked, synthetic, uncured, unicellular, unseasoned, versatile

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3369-3371
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14349-14352
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 907-907
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14348-14348	Organic object is exhaustively partitioned into organism and anatomical structure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14346-14346	Organic object is a subclass of corpuscular object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14347-14347	Organic object is a subclass of organic thing

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 447-447	Chemical agent is disjoint from organic object
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5498-5498	Timber is internally related to organic object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14913-14913	Anatomical structure is a subclass of organic object
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 82-82	Biopolymer is a subclass of organic object
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 641-641	Gene is a subclass of organic object
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 351-351	Miswak is a subclass of organic object
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 50-50	Nucleotide is a subclass of organic object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14354-14354	Organism is a subclass of organic object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28-28	Organism remains is a subclass of organic object
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 963-963
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1133-1133
No TPTP formula. May not be expressible in strict first order.	french_format.kif 640-640
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 171-171
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 174-174
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2324-2324
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 592-592
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 208-208
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 661-661
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 175-175

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14322-14322	The number 1 argument of developmental form is an instance of organic object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 115-115	The number 1 argument of Dead fn is a subclass of organic object
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5249-5249	The number 1 argument of organic object fn is a subclass of organic object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2612-2612	The number 2 argument of bioindicator for habitat is a subclass of organic object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12208-12208	The number 1 argument of secretes substance is a subclass of organic object

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 241-246	If an entity is an instance of organic object and another entity is an instance of developmental attribute and the entity the attribute the other entity holds during a time position, then the developmental form of the entity is the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 58-65	If an entity is an instance of organic object and a process is an instance of death and an agent is an instance of organism and the agent experiences the process and the entity is a result of the process, then the entity is an instance of organism remains
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 129-137	If an entity is an instance of organism remains and a process is an instance of death and an agent experiences the process and the agent is an instance of the agentTYPE and the agentTYPE is a subclass of organic object and the entity is a result of the process, then the entity is an instance of a dead the agentTYPE

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18036-18040	If an attribute is an attribute of an object and the attribute is an instance of biological attribute, then the object is an instance of organic object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10222-10237	If a process is an instance of death and an agent is an instance of organism and the agent experiences the process, then there exist an entity and another entity such that the entity is a result of the process and the entity is an instance of organic object and dead is an attribute of the entity holds during after the time of existence of the process and if the other entity is a part of the entity holds during immediately after the time of existence of the process, then the other entity is a part of the agent holds during immediately before the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18084-18092	If a process is an instance of harvesting and an entity is a result of the process, then there exists the entityRG such that the entity is an instance of a dead the entityRG and the entityRG is a subclass of organic object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20041-20050	If fodder is an attribute of an object, then the object has the purpose there exists an entity such that the entity is an instance of harvesting and the object is a result of the entity and the object is an instance of organic object and the object is an instance of food for domestic animal

statement

No TPTP formula. May not be expressible in strict first order.

WMD.kif 451-451

Chemical agent is a subclass of the complement of organic object

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners