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, 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 14211-14214
(externalImage OrganicObject "http://upload.wikimedia.org/wikipedia/en/d/ de/ Humanpalm.JPG") pictureList.kif 908-908
(partition OrganicObject Organism AnatomicalStructure) Merge.kif 14210-14210 Organic object is exhaustively partitioned into organism and anatomical structure
(subclass OrganicObject CorpuscularObject) Merge.kif 14208-14208 Organic object is a subclass of corpuscular object
(subclass OrganicObject OrganicThing) Merge.kif 14209-14209 Organic object is a subclass of organic thing

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


(disjoint ChemicalAgent OrganicObject) WMD.kif 447-447 Chemical agent is disjoint from organic object
(relatedInternalConcept Timber OrganicObject) Economy.kif 4665-4665 Timber is internally related to organic object
(subclass AnatomicalStructure OrganicObject) Merge.kif 14772-14772 Anatomical structure is a subclass of organic object
(subclass Fodder OrganicObject) Mid-level-ontology.kif 19813-19813 Fodder is a subclass of organic object
(subclass Miswak OrganicObject) ArabicCulture.kif 351-351 Miswak is a subclass of organic object
(subclass Organism OrganicObject) Merge.kif 14216-14216 Organism is a subclass of organic object
(subclass OrganismRemains OrganicObject) Mid-level-ontology.kif 26-26 Organism remains is a subclass of organic object
(termFormat ChineseLanguage OrganicObject "有机物体") chinese_format.kif 963-963
(termFormat EnglishLanguage OrganicObject "organic object") english_format.kif 1133-1133

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


(domain developmentalForm 1 OrganicObject) Merge.kif 14184-14184 The number 1 argument of developmental form is an instance of organic object
(domainSubclass bioindicatorForHabitat 2 OrganicObject) Geography.kif 2617-2617 The number 2 argument of bioindicator for habitat is a subclass of organic object
(domainSubclass productOfAnimal 1 OrganicObject) Mid-level-ontology.kif 20117-20117 The number 1 argument of product of animal is a subclass of organic object
(domainSubclass secretesSubstance 1 OrganicObject) Mid-level-ontology.kif 12054-12054 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 236-241
(=>
    (and
        (instance ?REM OrganicObject)
        (instance ?DEATH Death)
        (experiencer ?DEATH ?ORG)
        (instance ?ORG ?ORGTYPE)
        (subclass ?ORGTYPE Organism)
        (result ?DEATH ?REM))
    (instance ?REM
        (DeadFn ?ORGTYPE)))		 Mid-level-ontology.kif 124-132
(=>
    (and
        (instance ?REM OrganicObject)
        (instance ?DEATH Death)
        (instance ?ORG Organism)
        (experiencer ?DEATH ?ORG)
        (result ?DEATH ?REM))
    (instance ?REM OrganismRemains))		 Mid-level-ontology.kif 56-63

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


(=>
    (and
        (attribute ?ORG ?ATT)
        (instance ?ATT BiologicalAttribute))
    (instance ?ORG OrganicObject))		 Merge.kif 17881-17885
(=>
    (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 10178-10193