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 14395-14398
(externalImage OrganicObject "http://upload.wikimedia.org/wikipedia/en/d/ de/ Humanpalm.JPG") pictureList.kif 907-907
(partition OrganicObject Organism AnatomicalStructure) Merge.kif 14394-14394 Organic object is exhaustively partitioned into organism and anatomical structure
(subclass OrganicObject CorpuscularObject) Merge.kif 14392-14392 Organic object is a subclass of corpuscular object
(subclass OrganicObject OrganicThing) Merge.kif 14393-14393 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 5613-5613 Timber is internally related to organic object
(subclass AnatomicalStructure OrganicObject) Merge.kif 14959-14959 Anatomical structure is a subclass of organic object
(subclass Biopolymer OrganicObject) VirusProteinAndCellPart.kif 82-82 Biopolymer is a subclass of organic object
(subclass Gene OrganicObject) VirusProteinAndCellPart.kif 640-640 Gene is a subclass of organic object
(subclass Miswak OrganicObject) ArabicCulture.kif 351-351 Miswak is a subclass of organic object
(subclass Nucleotide OrganicObject) VirusProteinAndCellPart.kif 50-50 Nucleotide is a subclass of organic object
(subclass Organism OrganicObject) Merge.kif 14400-14400 Organism is a subclass of organic object
(subclass OrganismRemains OrganicObject) Mid-level-ontology.kif 28-28 Organism remains is a subclass of organic object
(termFormat ChineseLanguage OrganicObject "有机物体") chinese_format.kif 963-963 Organism remains is a subclass of organic object
(termFormat EnglishLanguage OrganicObject "organic object") english_format.kif 1133-1133 Organism remains is a subclass of organic object
(termFormat FrenchLanguage OrganicObject "objet organique") french_format.kif 640-640 Organism remains is a subclass of organic object
(termFormat Hindi OrganicObject "jEva padaartha") terms-hindi.txt 171-171 Organism remains is a subclass of organic object
(termFormat ItalianLanguage OrganicObject "Entit�Organica") terms-it.txt 174-174 Organism remains is a subclass of organic object
(termFormat JapaneseLanguage OrganicObject "有機物") japanese_format.kif 2324-2324 Organism remains is a subclass of organic object
(termFormat PortugueseLanguage OrganicObject "Objeto Organico") portuguese_format.kif 592-592 Organism remains is a subclass of organic object
(termFormat cz OrganicObject "organic object") terms-cz.txt 208-208 Organism remains is a subclass of organic object
(termFormat ro OrganicObject "obiect organic") relations-ro.kif 661-661 Organism remains is a subclass of organic object
(termFormat tg OrganicObject "bagay ng buhay") terms-tg.txt 175-175 Organism remains is a subclass of organic object

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


(domain developmentalForm 1 OrganicObject) Merge.kif 14368-14368 The number 1 argument of developmental form is an instance of organic object
(domainSubclass DeadFn 1 OrganicObject) Merge.kif 18554-18554 The number 1 argument of Dead fn is a subclass of organic object
(domainSubclass OrganicObjectFn 1 OrganicObject) Economy.kif 5364-5364 The number 1 argument of organic object fn is a subclass of organic object
(domainSubclass bioindicatorForHabitat 2 OrganicObject) Geography.kif 2612-2612 The number 2 argument of bioindicator for habitat is a subclass of organic object
(domainSubclass secretesSubstance 1 OrganicObject) Mid-level-ontology.kif 12426-12426 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 234-239
(=>
    (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 122-130

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


(=>
    (and
        (attribute ?ORG ?ATT)
        (instance ?ATT BiologicalAttribute))
    (instance ?ORG OrganicObject))		 Merge.kif 18115-18119
(=>
    (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 10258-10273
(=>
    (and
        (instance ?H Harvesting)
        (result ?H ?O))
    (exists (?ORG)
        (and
            (instance ?O
                (DeadFn ?ORG))
            (subclass ?ORG OrganicObject))))		 Mid-level-ontology.kif 18342-18350
(=>
    (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 20299-20308