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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DeadFn
DeadFn

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


(documentation DeadFn EnglishLanguage "(DeadFn ?ORGCLASS) denotes the Class of all remains that were once part of Living Organisms of the type ?ORGCLASS.") Mid-level-ontology.kif 236-238
(domainSubclass DeadFn 1 Organism) Mid-level-ontology.kif 234-234
(instance DeadFn UnaryFunction) Mid-level-ontology.kif 233-233
(rangeSubclass DeadFn OrganismRemains) Mid-level-ontology.kif 235-235

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


(format ChineseLanguage DeadFn "一个 dead %1 ") domainEnglishFormat.kif 3175-3175
(format ChineseTraditionalLanguage DeadFn "一個 dead %1 ") domainEnglishFormat.kif 3174-3174
(format EnglishLanguage DeadFn "a dead %1") domainEnglishFormat.kif 3173-3173

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


(=>
    (and
        (instance ?REM
            (DeadFn ?ORGTYPE))
        (instance ?DEATH Death)
        (result ?DEATH ?REM)
        (experiencer ?DEATH ?ORG))
    (instance ?ORG ?ORGTYPE))
Mid-level-ontology.kif 241-247

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


(=>
    (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 250-258
(=>
    (instance ?M Meat)
    (exists (?DA ?AC)
        (and
            (instance ?DA
                (DeadFn ?AC))
            (part ?M ?DA)
            (subclass ?AC Animal))))
Food.kif 255-261
(=>
    (instance ?S Seafood)
    (exists (?DA ?F)
        (and
            (instance ?DA
                (DeadFn ?F))
            (part ?S ?DA)
            (subclass ?F Fish))))
Food.kif 819-825
(=>
    (instance ?X HumanCorpse)
    (instance ?X
        (DeadFn Human)))
Mid-level-ontology.kif 228-230

statement
-------------------------


(subclass
    (DeadFn Apple) GroceryProduce)
Economy.kif 3938-3938
(subclass
    (DeadFn Avocado) GroceryProduce)
Economy.kif 3964-3964
(subclass
    (DeadFn Banana) GroceryProduce)
Economy.kif 3967-3967
(subclass
    (DeadFn Berry) GroceryProduce)
Economy.kif 3935-3935
(subclass
    (DeadFn Breadfruit) GroceryProduce)
Economy.kif 3970-3970
(subclass
    (DeadFn Cabbage) GroceryProduce)
Economy.kif 3843-3843
(subclass
    (DeadFn Carrot) GroceryProduce)
Economy.kif 3876-3876
(subclass
    (DeadFn Cassava) GroceryProduce)
Economy.kif 3896-3896
(subclass
    (DeadFn Cauliflower) GroceryProduce)
Economy.kif 3846-3846
(subclass
    (DeadFn CitrusFruit) GroceryProduce)
Economy.kif 3944-3944
(subclass
    (DeadFn Coconut) GroceryProduce)
Economy.kif 3973-3973
(subclass
    (DeadFn Cucumber) GroceryProduce)
Economy.kif 3840-3840
(subclass
    (DeadFn DateFruit) GroceryProduce)
Economy.kif 3976-3976
(subclass
    (DeadFn EdibleNut) GroceryProduce)
Economy.kif 4019-4019
(subclass
    (DeadFn Eggplant) GroceryProduce)
Economy.kif 3849-3849
(subclass
    (DeadFn Grape) GroceryProduce)
Economy.kif 3927-3927
(subclass
    (DeadFn Groundnut) GroceryProduce)
Economy.kif 4033-4033
(subclass
    (DeadFn LeafyGreenVegetable) GroceryProduce)
Economy.kif 3837-3837
(subclass
    (DeadFn Mango) GroceryProduce)
Economy.kif 3979-3979
(subclass
    (DeadFn Melon) GroceryProduce)
Economy.kif 3930-3930
(subclass
    (DeadFn Olive) GroceryProduce)
Economy.kif 3941-3941
(subclass
    (DeadFn Papaw) GroceryProduce)
Economy.kif 3982-3982
(subclass
    (DeadFn Papaya) GroceryProduce)
Economy.kif 3987-3987
(subclass
    (DeadFn PassionFruit) GroceryProduce)
Economy.kif 3990-3990
(subclass
    (DeadFn Peanut) GroceryProduce)
Economy.kif 4030-4030

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners