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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OrganicObject
OrganicObject(有機物)

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 14419-14422
(externalImage OrganicObject "http://upload.wikimedia.org/wikipedia/en/d/ de/ Humanpalm.JPG") pictureList.kif 907-907
(partition OrganicObject Organism AnatomicalStructure) Merge.kif 14418-14418 有機物 は 物 + 解剖学的構造 に exhaustively partitioned %n
(subclass OrganicObject CorpuscularObject) Merge.kif 14416-14416 有機物 は 微粒子オブジェクト の subclass では %n
(subclass OrganicObject OrganicThing) Merge.kif 14417-14417 有機物 は OrganicThing の subclass では %n

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


(disjoint ChemicalAgent OrganicObject) WMD.kif 447-447 ChemicalAgent と 有機物 は disjoint では %n
(relatedInternalConcept Timber OrganicObject) Economy.kif 5713-5713 Timber は 有機物 に internally 関連して %n
(subclass AnatomicalStructure OrganicObject) Merge.kif 14983-14983 解剖学的構造 は 有機物 の subclass では %n
(subclass Biopolymer OrganicObject) VirusProteinAndCellPart.kif 82-82 Biopolymer は 有機物 の subclass では %n
(subclass Gene OrganicObject) VirusProteinAndCellPart.kif 640-640 Gene は 有機物 の subclass では %n
(subclass Miswak OrganicObject) ArabicCulture.kif 351-351 Miswak は 有機物 の subclass では %n
(subclass Nucleotide OrganicObject) VirusProteinAndCellPart.kif 50-50 Nucleotide は 有機物 の subclass では %n
(subclass Organism OrganicObject) Merge.kif 14424-14424 物 は 有機物 の subclass では %n
(subclass OrganismRemains OrganicObject) Mid-level-ontology.kif 28-28 OrganismRemains は 有機物 の subclass では %n
(termFormat ChineseLanguage OrganicObject "有机物体") chinese_format.kif 963-963 OrganismRemains は 有機物 の subclass では %n
(termFormat EnglishLanguage OrganicObject "organic object") english_format.kif 1133-1133 OrganismRemains は 有機物 の subclass では %n
(termFormat FrenchLanguage OrganicObject "objet organique") french_format.kif 640-640 OrganismRemains は 有機物 の subclass では %n
(termFormat Hindi OrganicObject "jEva padaartha") terms-hindi.txt 171-171 OrganismRemains は 有機物 の subclass では %n
(termFormat ItalianLanguage OrganicObject "Entit�Organica") terms-it.txt 174-174 OrganismRemains は 有機物 の subclass では %n
(termFormat JapaneseLanguage OrganicObject "有機物") japanese_format.kif 2324-2324 OrganismRemains は 有機物 の subclass では %n
(termFormat PortugueseLanguage OrganicObject "Objeto Organico") portuguese_format.kif 592-592 OrganismRemains は 有機物 の subclass では %n
(termFormat cz OrganicObject "organic object") terms-cz.txt 208-208 OrganismRemains は 有機物 の subclass では %n
(termFormat de OrganicObject "organische Gegenstand") terms-de.txt 467-467 OrganismRemains は 有機物 の subclass では %n
(termFormat ro OrganicObject "obiect organic") relations-ro.kif 661-661 OrganismRemains は 有機物 の subclass では %n
(termFormat tg OrganicObject "bagay ng buhay") terms-tg.txt 175-175 OrganismRemains は 有機物 の subclass では %n

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


(domain developmentalForm 1 OrganicObject) Merge.kif 14392-14392 developmentalForm の数値 1 引数は 有機物 の instance では %n
(domainSubclass DeadFn 1 OrganicObject) Merge.kif 18575-18575 DeadFn の数値 1 引数は 有機物 のsubclass では %n
(domainSubclass OrganicObjectFn 1 OrganicObject) Economy.kif 5464-5464 OrganicObjectFn の数値 1 引数は 有機物 のsubclass では %n
(domainSubclass bioindicatorForHabitat 2 OrganicObject) Geography.kif 2600-2600 bioindicatorForHabitat の数値 2 引数は 有機物 のsubclass では %n
(domainSubclass secretesSubstance 1 OrganicObject) Mid-level-ontology.kif 13032-13032 secretesSubstance の数値 1 引数は 有機物 のsubclass では %n

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 18136-18140
(=>
    (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 10283-10298
(=>
    (and
        (instance ?H Harvesting)
        (result ?H ?O))
    (exists (?ORG)
        (and
            (instance ?O
                (DeadFn ?ORG))
            (subclass ?ORG OrganicObject))))		 Mid-level-ontology.kif 19002-19010
(=>
    (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 20959-20968