![]() |
![]() ![]() ![]()
|
![]() |
|
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 13346-13349 | |
(externalImage OrganicObject "http://upload.wikimedia.org/wikipedia/en/d/ de/ Humanpalm.JPG") | pictureList.kif 908-908 | |
(partition OrganicObject Organism AnatomicalStructure) | Merge.kif 13345-13345 | |
(subclass OrganicObject CorpuscularObject) | Merge.kif 13343-13343 | |
(subclass OrganicObject OrganicThing) | Merge.kif 13344-13344 |
appearance as argument number 2 |
![]() |
(disjoint ChemicalAgent OrganicObject) | WMD.kif 442-442 | |
(relatedInternalConcept Timber OrganicObject) | Economy.kif 4503-4503 | |
(subclass AnatomicalStructure OrganicObject) | Merge.kif 13898-13898 | |
(subclass Fodder OrganicObject) | Mid-level-ontology.kif 17820-17820 | |
(subclass Miswak OrganicObject) | ArabicCulture.kif 338-338 | |
(subclass Organism OrganicObject) | Merge.kif 13351-13351 | |
(subclass OrganismRemains OrganicObject) | Mid-level-ontology.kif 139-139 | |
(termFormat ChineseLanguage OrganicObject "有机物体") | chinese_format.kif 963-963 | |
(termFormat EnglishLanguage OrganicObject "organic object") | english_format.kif 1138-1138 |
appearance as argument number 3 |
![]() |
(domain developmentalForm 1 OrganicObject) | Merge.kif 13319-13319 | |
(domainSubclass bioindicatorForHabitat 2 OrganicObject) | Geography.kif 2553-2553 | |
(domainSubclass productOfAnimal 1 OrganicObject) | Mid-level-ontology.kif 18127-18127 | |
(domainSubclass secretesSubstance 1 OrganicObject) | Mid-level-ontology.kif 10130-10130 |
antecedent |
![]() |
(=> (and (instance ?ORG OrganicObject) (instance ?ATTR DevelopmentalAttribute) (holdsDuring ?TIME (property ?ORG ?ATTR))) (holdsDuring ?TIME (developmentalForm ?ORG ?ATTR))) |
Mid-level-ontology.kif 383-388 | |
(=> (and (instance ?REM OrganicObject) (instance ?DEATH Death) (experiencer ?DEATH ?ORG) (instance ?ORG ?ORGTYPE) (subclass ?ORG Organism) (result ?DEATH ?REM)) (instance ?REM (DeadFn ?ORGTYPE))) |
Mid-level-ontology.kif 250-258 | |
(=> (and (instance ?REM OrganicObject) (instance ?DEATH Death) (instance ?ORG Organism) (experiencer ?DEATH ?ORG) (result ?DEATH ?REM)) (instance ?REM OrganismRemains)) |
Mid-level-ontology.kif 177-184 |
consequent |
![]() |
(=> (and (attribute ?ORG ?ATT) (instance ?ATT BiologicalAttribute)) (instance ?ORG OrganicObject)) |
Merge.kif 16770-16774 | |
(=> (and (instance ?DEATH Death) (instance ?ORG Organism) (experiencer ?DEATH ?ORG)) (exists (?REM) (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 9667-9682 |
statement |
![]() |
(subclass ChemicalAgent (ComplementFn OrganicObject)) |
WMD.kif 446-446 |
![]() |
![]() |