OrganicObject(有機物) | ![]() |
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 14502-14505 | |
(externalImage OrganicObject "http://upload.wikimedia.org/wikipedia/en/d/ de/ Humanpalm.JPG") | pictureList.kif 907-907 | |
(partition OrganicObject Organism AnatomicalStructure) | Merge.kif 14501-14501 | 有機物 は 物 + 解剖学的構造 に exhaustively partitioned |
(subclass OrganicObject CorpuscularObject) | Merge.kif 14499-14499 | 有機物 は 微粒子オブジェクト の subclass では |
(subclass OrganicObject OrganicThing) | Merge.kif 14500-14500 | 有機物 は OrganicThing の subclass では |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain developmentalForm 1 OrganicObject) | Merge.kif 14475-14475 | developmentalForm の数値 1 引数は 有機物 の instance では |
(domainSubclass DeadFn 1 OrganicObject) | Merge.kif 18663-18663 | DeadFn の数値 1 引数は 有機物 のsubclass では |
(domainSubclass OrganicObjectFn 1 OrganicObject) | Economy.kif 5590-5590 | OrganicObjectFn の数値 1 引数は 有機物 のsubclass では |
(domainSubclass bioindicatorForHabitat 2 OrganicObject) | Geography.kif 2770-2770 | bioindicatorForHabitat の数値 2 引数は 有機物 のsubclass では |
(domainSubclass secretesSubstance 1 OrganicObject) | Mid-level-ontology.kif 13539-13539 | secretesSubstance の数値 1 引数は 有機物 のsubclass では |
antecedent |
![]() |
consequent |
![]() |
(=> (and (attribute ?ORG ?ATT) (instance ?ATT BiologicalAttribute)) (instance ?ORG OrganicObject)) |
Merge.kif 18222-18226 | |
(=> (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 10362-10377 | |
(=> (and (instance ?H Harvesting) (result ?H ?O)) (exists (?ORG) (and (instance ?O (DeadFn ?ORG)) (subclass ?ORG OrganicObject)))) |
Mid-level-ontology.kif 19655-19663 | |
(=> (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 21628-21637 |
statement |
![]() |
(subclass ChemicalAgent (ComplementFn OrganicObject)) |
WMD.kif 451-451 | ChemicalAgent は 有機物 の complement の subclass では |
![]() |
![]() |