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 The number 1 argument of DeadFn is a subclass of organism
(instance DeadFn UnaryFunction) Mid-level-ontology.kif 233-233 DeadFn is an instance of unary function
(rangeSubclass DeadFn OrganismRemains) Mid-level-ontology.kif 235-235 The values returned by DeadFn are subclasses of OrganismRemains

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


(format ChineseLanguage DeadFn "一个 dead %1 ") domainEnglishFormat.kif 3171-3171
(format ChineseTraditionalLanguage DeadFn "一個 dead %1 ") domainEnglishFormat.kif 3170-3170
(format EnglishLanguage DeadFn "a dead %1") domainEnglishFormat.kif 3169-3169

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 303-309
(=>
    (instance ?S Seafood)
    (exists (?DA ?F)
        (and
            (instance ?DA
                (DeadFn ?F))
            (part ?S ?DA)
            (subclass ?F Fish))))
Food.kif 863-869
(=>
    (instance ?X HumanCorpse)
    (instance ?X
        (DeadFn Human)))
Mid-level-ontology.kif 228-230

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


(subclass
    (DeadFn Apple) GroceryProduce)
Economy.kif 3938-3938 A dead apple is a subclass of grocery produce
(subclass
    (DeadFn Avocado) GroceryProduce)
Economy.kif 3964-3964 A dead avocado is a subclass of grocery produce
(subclass
    (DeadFn Banana) GroceryProduce)
Economy.kif 3967-3967 A dead banana is a subclass of grocery produce
(subclass
    (DeadFn Berry) GroceryProduce)
Economy.kif 3935-3935 A dead berry is a subclass of grocery produce
(subclass
    (DeadFn Breadfruit) GroceryProduce)
Economy.kif 3970-3970 A dead breadfruit is a subclass of grocery produce
(subclass
    (DeadFn Cabbage) GroceryProduce)
Economy.kif 3843-3843 A dead cabbage is a subclass of grocery produce
(subclass
    (DeadFn Carrot) GroceryProduce)
Economy.kif 3876-3876 A dead carrot is a subclass of grocery produce
(subclass
    (DeadFn Cassava) GroceryProduce)
Economy.kif 3896-3896 A dead cassava is a subclass of grocery produce
(subclass
    (DeadFn Cauliflower) GroceryProduce)
Economy.kif 3846-3846 A dead cauliflower is a subclass of grocery produce
(subclass
    (DeadFn CitrusFruit) GroceryProduce)
Economy.kif 3944-3944 A dead citrus fruit is a subclass of grocery produce
(subclass
    (DeadFn Coconut) GroceryProduce)
Economy.kif 3973-3973 A dead coconut is a subclass of grocery produce
(subclass
    (DeadFn Cucumber) GroceryProduce)
Economy.kif 3840-3840 A dead cucumber is a subclass of grocery produce
(subclass
    (DeadFn DateFruit) GroceryProduce)
Economy.kif 3976-3976 A dead date fruit is a subclass of grocery produce
(subclass
    (DeadFn EdibleNut) GroceryProduce)
Economy.kif 4019-4019 A dead edible nut is a subclass of grocery produce
(subclass
    (DeadFn Eggplant) GroceryProduce)
Economy.kif 3849-3849 A dead eggplant is a subclass of grocery produce
(subclass
    (DeadFn Grape) GroceryProduce)
Economy.kif 3927-3927 A dead grape is a subclass of grocery produce
(subclass
    (DeadFn Groundnut) GroceryProduce)
Economy.kif 4033-4033 A dead groundnut is a subclass of grocery produce
(subclass
    (DeadFn LeafyGreenVegetable) GroceryProduce)
Economy.kif 3837-3837 A dead leafy green vegetable is a subclass of grocery produce
(subclass
    (DeadFn Mango) GroceryProduce)
Economy.kif 3979-3979 A dead mango is a subclass of grocery produce
(subclass
    (DeadFn Melon) GroceryProduce)
Economy.kif 3930-3930 A dead melon is a subclass of grocery produce
(subclass
    (DeadFn Olive) GroceryProduce)
Economy.kif 3941-3941 A dead olive is a subclass of grocery produce
(subclass
    (DeadFn Papaw) GroceryProduce)
Economy.kif 3982-3982 A dead papaw is a subclass of grocery produce
(subclass
    (DeadFn Papaya) GroceryProduce)
Economy.kif 3987-3987 A dead papaya is a subclass of grocery produce
(subclass
    (DeadFn PassionFruit) GroceryProduce)
Economy.kif 3990-3990 A dead passion fruit is a subclass of grocery produce
(subclass
    (DeadFn Peanut) GroceryProduce)
Economy.kif 4030-4030 A dead peanut is a subclass of grocery produce

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners