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 14349-14352 | |
(externalImage OrganicObject "http://upload.wikimedia.org/wikipedia/en/d/ de/ Humanpalm.JPG") | pictureList.kif 907-907 | |
(partition OrganicObject Organism AnatomicalStructure) | Merge.kif 14348-14348 | OrganicObject wird vollstaendig in Organism und AnatomicalStructure verteilt |
(subclass OrganicObject CorpuscularObject) | Merge.kif 14346-14346 | OrganicObject ist eine teilkategorie von CorpuscularObject |
(subclass OrganicObject OrganicThing) | Merge.kif 14347-14347 | OrganicObject ist eine teilkategorie von OrganicThing |
appearance as argument number 2 |
appearance as argument number 3 |
(domain developmentalForm 1 OrganicObject) | Merge.kif 14322-14322 | Die Zahl 1 Argument von developmentalForm ist ein fall von OrganicObject %n{nicht} |
(domainSubclass DeadFn 1 OrganicObject) | Mid-level-ontology.kif 115-115 | Die Zahl 1 Argument von DeadFn ist eine teilkategorie von OrganicObject %n{nicht} |
(domainSubclass OrganicObjectFn 1 OrganicObject) | Economy.kif 5249-5249 | Die Zahl 1 Argument von OrganicObjectFn ist eine teilkategorie von OrganicObject %n{nicht} |
(domainSubclass bioindicatorForHabitat 2 OrganicObject) | Geography.kif 2612-2612 | Die Zahl 2 Argument von bioindicatorForHabitat ist eine teilkategorie von OrganicObject %n{nicht} |
(domainSubclass secretesSubstance 1 OrganicObject) | Mid-level-ontology.kif 12208-12208 | Die Zahl 1 Argument von secretesSubstance ist eine teilkategorie von OrganicObject %n{nicht} |
antecedent |
(=> (and (instance ?ORG OrganicObject) (instance ?ATTR DevelopmentalAttribute) (holdsDuring ?TIME (property ?ORG ?ATTR))) (holdsDuring ?TIME (developmentalForm ?ORG ?ATTR))) |
Mid-level-ontology.kif 241-246 |
|
(=> (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 |
|
(=> (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 |
|
consequent |
(=> (and (attribute ?ORG ?ATT) (instance ?ATT BiologicalAttribute)) (instance ?ORG OrganicObject)) |
Merge.kif 18036-18040 |
|
(=> (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 |
|
(=> (and (instance ?H Harvesting) (result ?H ?O)) (exists (?ORG) (and (instance ?O (DeadFn ?ORG)) (subclass ?ORG OrganicObject)))) |
Mid-level-ontology.kif 18084-18092 |
|
(=> (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 20041-20050 |
|
statement |
(subclass ChemicalAgent (ComplementFn OrganicObject)) |
WMD.kif 451-451 | ChemicalAgent ist eine teilkategorie von die ergaenzung von OrganicObject |