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 13349-13352
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 908-908
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13348-13348	Organic object is exhaustively partitioned into organism and anatomical structure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13346-13346	Organic object is a subclass of corpuscular object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13347-13347	Organic object is a subclass of OrganicThing

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 442-442	Chemical agent is disjoint from organic object
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4503-4503	Timber is internally related to organic object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13901-13901	Anatomical structure is a subclass of organic object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16543-16543	Fodder is a subclass of organic object
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 340-340	Miswak is a subclass of organic object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13354-13354	Organism is a subclass of organic object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26-26	OrganismRemains 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 1138-1138

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13322-13322	The number 1 argument of developmental form is an instance of organic object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2574-2574	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 16847-16847	The number 1 argument of productOfAnimal is a subclass of organic object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9281-9281	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 230-235	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 122-130	If an entity is an instance of organic object 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 agent is a subclass of organism and the entity is a result of the process, then the entity is an instance of a dead the agentTYPE
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 56-63	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 OrganismRemains

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16773-16777	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 9670-9685	If a process is an instance of death and an agent is an instance of organism and the agent experiences the process, then there exists an 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 another 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

statement

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

WMD.kif 446-446

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