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

s__documentation(s__OrganicObject,s__ChineseLanguage,'"这是包含 Organism 和属于 Organism 一部分 CorpuscularObject 的类别，即是 BodyPart 和由 Organism 在非故意的情况下所造成的 CorpuscularObject，例如：ReproductiveBody。"')	chinese_format.kif 3369-3371
s__documentation(s__OrganicObject,s__EnglishLanguage,'"This class encompasses Organisms, CorpuscularObjects that are parts of Organisms, i.e. BodyParts, and CorpuscularObjects that are nonintentionally produced by Organisms, e.g. ReproductiveBodies."')	Merge.kif 13287-13290
s__externalImage(s__OrganicObject,'"http://upload.wikimedia.org/wikipedia/en/d/ de/ Humanpalm.JPG"')	pictureList.kif 908-908
s__partition__3(s__OrganicObject,s__Organism,s__AnatomicalStructure)	Merge.kif 13286-13286	Organic object is exhaustively partitioned into organism and anatomical structure
s__instance(s__CorpuscularObject,s__SetOrClass) s__subclass(s__OrganicObject,s__CorpuscularObject) s__instance(s__OrganicObject,s__SetOrClass)	Merge.kif 13284-13284	Organic object is a subclass of corpuscular object
s__instance(s__OrganicThing,s__SetOrClass) s__subclass(s__OrganicObject,s__OrganicThing) s__instance(s__OrganicObject,s__SetOrClass)	Merge.kif 13285-13285	Organic object is a subclass of OrganicThing

appearance as argument number 2

s__disjoint(s__ChemicalAgent,s__OrganicObject)	WMD.kif 442-442	Chemical agent is disjoint from organic object
s__relatedInternalConcept(s__Timber,s__OrganicObject)	Economy.kif 4503-4503	Timber is internally related to organic object
s__subclass(s__AnatomicalStructure,s__OrganicObject) s__instance(s__AnatomicalStructure,s__SetOrClass) s__instance(s__OrganicObject,s__SetOrClass)	Merge.kif 13839-13839	Anatomical structure is a subclass of organic object
s__subclass(s__Fodder,s__OrganicObject) s__instance(s__Fodder,s__SetOrClass) s__instance(s__OrganicObject,s__SetOrClass)	Mid-level-ontology.kif 17790-17790	Fodder is a subclass of organic object
s__subclass(s__Miswak,s__OrganicObject) s__instance(s__OrganicObject,s__SetOrClass) s__instance(s__Miswak,s__SetOrClass)	ArabicCulture.kif 338-338	Miswak is a subclass of organic object
s__instance(s__Organism,s__SetOrClass) s__subclass(s__Organism,s__OrganicObject) s__instance(s__OrganicObject,s__SetOrClass)	Merge.kif 13292-13292	Organism is a subclass of organic object
s__subclass(s__OrganismRemains,s__OrganicObject) s__instance(s__OrganismRemains,s__SetOrClass) s__instance(s__OrganicObject,s__SetOrClass)	Mid-level-ontology.kif 139-139	OrganismRemains is a subclass of organic object
s__termFormat(s__ChineseLanguage,s__OrganicObject,'"有机物体"')	chinese_format.kif 963-963
s__termFormat(s__EnglishLanguage,s__OrganicObject,'"organic object"')	english_format.kif 1138-1138

appearance as argument number 3

s__domain(s__developmentalForm__m,n__1,s__OrganicObject)	Merge.kif 13260-13260	The number 1 argument of developmental form is an instance of organic object
s__domainSubclass(s__bioindicatorForHabitat__m,n__2,s__OrganicObject)	Geography.kif 2553-2553	The number 2 argument of bioindicator for habitat is a subclass of organic object
s__domainSubclass(s__productOfAnimal__m,n__1,s__OrganicObject)	Mid-level-ontology.kif 18097-18097	The number 1 argument of productOfAnimal is a subclass of organic object
s__domainSubclass(s__secretesSubstance__m,n__1,s__OrganicObject)	Mid-level-ontology.kif 10134-10134	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 383-388	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
( ! [V__REM,V__ORG,V__DEATH,V__ORGTYPE] : ((s__instance(V__ORG,s__Agent) & s__instance(V__ORG,s__SetOrClass) & s__subclass(V__ORGTYPE,s__Organism) & s__instance(V__ORGTYPE,s__SetOrClass)) => (s__instance(V__REM,s__OrganicObject) & s__instance(V__DEATH,s__Death) & s__experiencer(V__DEATH,V__ORG) & s__instance(V__ORG,V__ORGTYPE) & s__subclass(V__ORG,s__Organism) & s__result(V__DEATH,V__REM)) => s__instance(V__REM,s__DeadFn(V__ORGTYPE)) ) )	Mid-level-ontology.kif 250-258	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
( ! [V__REM,V__ORG,V__DEATH] : ((s__instance(V__REM,s__OrganicObject) & s__instance(V__DEATH,s__Death) & s__instance(V__ORG,s__Organism) & s__experiencer(V__DEATH,V__ORG) & s__result(V__DEATH,V__REM)) => s__instance(V__REM,s__OrganismRemains) ) )	Mid-level-ontology.kif 177-184	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

( ! [V__ORG,V__ATT] : (s__instance(V__ORG,s__Object) => (s__attribute(V__ORG,V__ATT) & s__instance(V__ATT,s__BiologicalAttribute)) => s__instance(V__ORG,s__OrganicObject) ) )	Merge.kif 16694-16698	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 9602-9617	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

s__subclass(s__ChemicalAgent,s__ComplementFn(s__OrganicObject))

s__instance(s__ChemicalAgent,s__SetOrClass)

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners