TreeView Knowledge Base Browser - OrganicObject

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

(documentation OrganicObject ChineseLanguage "这是包含 Organism 和属于 Organism 一部分 CorpuscularObject 的类别，即是 BodyPart 和由 Organism 在非故意的情况下所造成的 CorpuscularObject，例如：ReproductiveBody。")	chinese_format.kif 3369-3371
(documentation OrganicObject 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 14319-14322
(externalImage OrganicObject "http://upload.wikimedia.org/wikipedia/en/d/ de/ Humanpalm.JPG")	pictureList.kif 907-907
(partition OrganicObject Organism AnatomicalStructure)	Merge.kif 14318-14318	Organic object is exhaustively partitioned into organism and anatomical structure
(subclass OrganicObject CorpuscularObject)	Merge.kif 14316-14316	Organic object is a subclass of corpuscular object
(subclass OrganicObject OrganicThing)	Merge.kif 14317-14317	Organic object is a subclass of organic thing

appearance as argument number 2

(disjoint ChemicalAgent OrganicObject)	WMD.kif 447-447	Chemical agent is disjoint from organic object
(relatedInternalConcept Timber OrganicObject)	Economy.kif 5322-5322	Timber is internally related to organic object
(subclass AnatomicalStructure OrganicObject)	Merge.kif 14883-14883	Anatomical structure is a subclass of organic object
(subclass Miswak OrganicObject)	ArabicCulture.kif 351-351	Miswak is a subclass of organic object
(subclass Organism OrganicObject)	Merge.kif 14324-14324	Organism is a subclass of organic object
(subclass OrganismRemains OrganicObject)	Mid-level-ontology.kif 28-28	Organism remains is a subclass of organic object
(termFormat ChineseLanguage OrganicObject "有机物体")	chinese_format.kif 963-963
(termFormat EnglishLanguage OrganicObject "organic object")	english_format.kif 1133-1133
(termFormat FrenchLanguage OrganicObject "objet organique")	french_format.kif 640-640
(termFormat Hindi OrganicObject "jEva padaartha")	terms-hindi.txt 171-171
(termFormat ItalianLanguage OrganicObject "Entit�Organica")	terms-it.txt 174-174
(termFormat JapaneseLanguage OrganicObject "有機物")	japanese_format.kif 2324-2324
(termFormat PortugueseLanguage OrganicObject "Objeto Organico")	portuguese_format.kif 592-592
(termFormat cz OrganicObject "organic object")	terms-cz.txt 208-208
(termFormat ro OrganicObject "obiect organic")	relations-ro.kif 661-661
(termFormat tg OrganicObject "bagay ng buhay")	terms-tg.txt 175-175

appearance as argument number 3

(domain developmentalForm 1 OrganicObject)	Merge.kif 14292-14292	The number 1 argument of developmental form is an instance of organic object
(domainSubclass DeadFn 1 OrganicObject)	Mid-level-ontology.kif 115-115	The number 1 argument of Dead fn is a subclass of organic object
(domainSubclass OrganicObjectFn 1 OrganicObject)	Economy.kif 5073-5073	The number 1 argument of organic object fn is a subclass of organic object
(domainSubclass bioindicatorForHabitat 2 OrganicObject)	Geography.kif 2612-2612	The number 2 argument of bioindicator for habitat is a subclass of organic object
(domainSubclass secretesSubstance 1 OrganicObject)	Mid-level-ontology.kif 12180-12180	The number 1 argument of secretes substance is a subclass of organic object

antecedent

(=> (and (instance ?ORG OrganicObject) (instance ?ATTR DevelopmentalAttribute) (holdsDuring ?TIME (property ?ORG ?ATTR))) (holdsDuring ?TIME (developmentalForm ?ORG ?ATTR)))	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
(=> (and (instance ?REM OrganicObject) (instance ?DEATH Death) (instance ?ORG Organism) (experiencer ?DEATH ?ORG) (result ?DEATH ?REM)) (instance ?REM OrganismRemains))	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
(=> (and (instance ?REM OrganismRemains) (instance ?DEATH Death) (experiencer ?DEATH ?ORG) (instance ?ORG ?ORGTYPE) (subclass ?ORGTYPE OrganicObject) (result ?DEATH ?REM)) (instance ?REM (DeadFn ?ORGTYPE)))	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

(=> (and (attribute ?ORG ?ATT) (instance ?ATT BiologicalAttribute)) (instance ?ORG OrganicObject))	Merge.kif 18007-18011	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
(=> (and (instance ?DEATH Death) (instance ?ORG Organism) (experiencer ?DEATH ?ORG)) (exists (?REM ?OBJ) (and (result ?DEATH ?REM) (instance ?REM OrganicObject) (holdsDuring (FutureFn (WhenFn ?DEATH)) (attribute ?REM Dead)) (=> (holdsDuring (ImmediateFutureFn (WhenFn ?DEATH)) (part ?OBJ ?REM)) (holdsDuring (ImmediatePastFn (WhenFn ?DEATH)) (part ?OBJ ?ORG))))))	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
(=> (and (instance ?H Harvesting) (result ?H ?O)) (exists (?ORG) (and (instance ?O (DeadFn ?ORG)) (subclass ?ORG OrganicObject))))	Mid-level-ontology.kif 18032-18040	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
(=> (attribute ?X Fodder) (hasPurpose ?X (exists (?H) (and (instance ?H Harvesting) (result ?H ?X) (instance ?X OrganicObject) (instance ?X (FoodForFn DomesticAnimal))))))	Mid-level-ontology.kif 19987-19996	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

(subclass ChemicalAgent
(ComplementFn OrganicObject))

WMD.kif 451-451

Chemical agent is a subclass of the complement of organic object

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

Show without tree

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