Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  OrganicObject

Sigma KEE - OrganicObject
OrganicObject(有机物体)

appearance as argument number 1
-------------------------


(documentation OrganicObject ChineseLanguage "这是包含 Organism 和属于 Organism 一部分 CorpuscularObject 的类别,即是 BodyPart 和由 Organism 在非故意的情况下所造成的 CorpuscularObject,例如:ReproductiveBody。") Merge.kif 14388-14390
(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 14384-14387
(externalImage OrganicObject "http://upload.wikimedia.org/wikipedia/en/d/ de/ Humanpalm.JPG") pictureList.kif 908-908 externalImage 有机物体 and "http://upload.wikimedia.org/wikipedia/en/d/de/Humanpalm.JPG"
(partition OrganicObject Organism AnatomicalStructure) Merge.kif 14383-14383 有机物体 详尽无遗地 partition生物解剖结构
(subclass OrganicObject CorpuscularObject) Merge.kif 14381-14381 有机物体躯体性物体subclass
(subclass OrganicObject OrganicThing) Merge.kif 14382-14382 有机物体OrganicThingsubclass

appearance as argument number 2
-------------------------


(disjoint ChemicalAgent OrganicObject) WMD.kif 442-442 ChemicalAgent 和 % 2 是 disjoint
(relatedInternalConcept Timber OrganicObject) Economy.kif 4503-4503 Timber有机物体 是 内部相关
(subclass AnatomicalStructure OrganicObject) Merge.kif 15056-15056 解剖结构有机物体subclass
(subclass Fodder OrganicObject) Mid-level-ontology.kif 17788-17788 Fodder有机物体subclass
(subclass Miswak OrganicObject) ArabicCulture.kif 338-338 Miswak有机物体subclass
(subclass Organism OrganicObject) Merge.kif 14392-14392 生物有机物体subclass
(subclass OrganismRemains OrganicObject) Mid-level-ontology.kif 139-139 OrganismRemains有机物体subclass
(termFormat ChineseLanguage OrganicObject "有机物体") chinese_format.kif 963-963 termFormat ChineseLanguage, 有机物体 and "有机物体"
(termFormat EnglishLanguage OrganicObject "organic object") english_format.kif 955-955 termFormat EnglishLanguage, 有机物体 and "organic object"
(termFormat JapaneseLanguage OrganicObject "有機物") english_format.kif 956-956 termFormat JapaneseLanguage, 有机物体 and "有機物"

appearance as argument number 3
-------------------------


(domain developmentalForm 1 OrganicObject) Merge.kif 14354-14354 发育形态 的 1 数量 是 有机物体instance
(domainSubclass bioindicatorForHabitat 2 OrganicObject) Geography.kif 2541-2541 bioindicatorForHabitat 的 2 数量 是 有机物体subclass
(domainSubclass productOfAnimal 1 OrganicObject) Mid-level-ontology.kif 18095-18095 productOfAnimal 的 1 数量 是 有机物体subclass
(domainSubclass secretesSubstance 1 OrganicObject) Mid-level-ontology.kif 10131-10131 secretesSubstance 的 1 数量 是 有机物体subclass

antecedent
-------------------------


(=>
    (and
        (instance ?ORG OrganicObject)
        (instance ?ATTR DevelopmentalAttribute)
        (holdsDuring ?TIME
            (property ?ORG ?ATTR)))
    (holdsDuring ?TIME
        (developmentalForm ?ORG ?ATTR)))
Mid-level-ontology.kif 384-389
(=>
    (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 251-259
(=>
    (and
        (instance ?REM OrganicObject)
        (instance ?DEATH Death)
        (instance ?ORG Organism)
        (experiencer ?DEATH ?ORG)
        (result ?DEATH ?REM))
    (instance ?REM OrganismRemains))
Mid-level-ontology.kif 178-185

consequent
-------------------------


(=>
    (and
        (attribute ?ORG ?ATT)
        (instance ?ATT BiologicalAttribute))
    (instance ?ORG OrganicObject))
Merge.kif 18436-18440
(=>
    (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 10280-10295