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, organic_object, 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 13163-13166
(externalImage OrganicObject "http://upload.wikimedia.org/wikipedia/en/d/ de/ Humanpalm.JPG") pictureList.kif 908-908 "http://upload.wikimedia.org/wikipedia/en/d/de/Humanpalm.JPG" is a URL depicting organic object
(partition OrganicObject Organism AnatomicalStructure) Merge.kif 13162-13162 Organic object is exhaustively partitioned into organism and anatomical structure
(subclass OrganicObject CorpuscularObject) Merge.kif 13160-13160 Organic object is a subclass of corpuscular object
(subclass OrganicObject OrganicThing) Merge.kif 13161-13161 Organic object is a subclass of OrganicThing

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


(disjoint ChemicalAgent OrganicObject) WMD.kif 442-442 Chemical agent is disjoint from organic object
(relatedInternalConcept Timber OrganicObject) Economy.kif 4503-4503 Timber is internally related to organic object
(subclass AnatomicalStructure OrganicObject) Merge.kif 13715-13715 Anatomical structure is a subclass of organic object
(subclass Fodder OrganicObject) Mid-level-ontology.kif 17693-17693 Fodder is a subclass of organic object
(subclass Miswak OrganicObject) ArabicCulture.kif 338-338 Miswak is a subclass of organic object
(subclass Organism OrganicObject) Merge.kif 13168-13168 Organism is a subclass of organic object
(subclass OrganismRemains OrganicObject) Mid-level-ontology.kif 139-139 OrganismRemains is a subclass of organic object
(termFormat ChineseLanguage OrganicObject "有机物体") chinese_format.kif 963-963 "有机物体" is the printable form of organic object in ChineseLanguage
(termFormat EnglishLanguage OrganicObject "organic object") english_format.kif 1138-1138 "organic object" is the printable form of organic object in english language

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


(domain developmentalForm 1 OrganicObject) Merge.kif 13136-13136 The number 1 argument of developmental form is an instance of organic object
(domainSubclass bioindicatorForHabitat 2 OrganicObject) Geography.kif 2553-2553 The number 2 argument of bioindicator for habitat is a subclass of organic object
(domainSubclass productOfAnimal 1 OrganicObject) Mid-level-ontology.kif 18000-18000 The number 1 argument of productOfAnimal is a subclass of organic object
(domainSubclass secretesSubstance 1 OrganicObject) Mid-level-ontology.kif 10129-10129 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 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 16567-16571
(=>
    (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 9478-9493