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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DeadFn

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 domainSubclass DeadFn, 1 and Organism
(instance DeadFn UnaryFunction) Mid-level-ontology.kif 233-233 instance DeadFn and UnaryFunction
(rangeSubclass DeadFn OrganismRemains) Mid-level-ontology.kif 235-235 rangeSubclass DeadFn and 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 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 Apple and GroceryProduce
(subclass
    (DeadFn Avocado) GroceryProduce)
Economy.kif 3964-3964 subclass DeadFn Avocado and GroceryProduce
(subclass
    (DeadFn Banana) GroceryProduce)
Economy.kif 3967-3967 subclass DeadFn Banana and GroceryProduce
(subclass
    (DeadFn Berry) GroceryProduce)
Economy.kif 3935-3935 subclass DeadFn Berry and GroceryProduce
(subclass
    (DeadFn Breadfruit) GroceryProduce)
Economy.kif 3970-3970 subclass DeadFn Breadfruit and GroceryProduce
(subclass
    (DeadFn Cabbage) GroceryProduce)
Economy.kif 3843-3843 subclass DeadFn Cabbage and GroceryProduce
(subclass
    (DeadFn Carrot) GroceryProduce)
Economy.kif 3876-3876 subclass DeadFn Carrot and GroceryProduce
(subclass
    (DeadFn Cassava) GroceryProduce)
Economy.kif 3896-3896 subclass DeadFn Cassava and GroceryProduce
(subclass
    (DeadFn Cauliflower) GroceryProduce)
Economy.kif 3846-3846 subclass DeadFn Cauliflower and GroceryProduce
(subclass
    (DeadFn CitrusFruit) GroceryProduce)
Economy.kif 3944-3944 subclass DeadFn CitrusFruit and GroceryProduce
(subclass
    (DeadFn Coconut) GroceryProduce)
Economy.kif 3973-3973 subclass DeadFn Coconut and GroceryProduce
(subclass
    (DeadFn Cucumber) GroceryProduce)
Economy.kif 3840-3840 subclass DeadFn Cucumber and GroceryProduce
(subclass
    (DeadFn DateFruit) GroceryProduce)
Economy.kif 3976-3976 subclass DeadFn DateFruit and GroceryProduce
(subclass
    (DeadFn EdibleNut) GroceryProduce)
Economy.kif 4019-4019 subclass DeadFn EdibleNut and GroceryProduce
(subclass
    (DeadFn Eggplant) GroceryProduce)
Economy.kif 3849-3849 subclass DeadFn Eggplant and GroceryProduce
(subclass
    (DeadFn Grape) GroceryProduce)
Economy.kif 3927-3927 subclass DeadFn Grape and GroceryProduce
(subclass
    (DeadFn Groundnut) GroceryProduce)
Economy.kif 4033-4033 subclass DeadFn Groundnut and GroceryProduce
(subclass
    (DeadFn LeafyGreenVegetable) GroceryProduce)
Economy.kif 3837-3837 subclass DeadFn LeafyGreenVegetable and GroceryProduce
(subclass
    (DeadFn Mango) GroceryProduce)
Economy.kif 3979-3979 subclass DeadFn Mango and GroceryProduce
(subclass
    (DeadFn Melon) GroceryProduce)
Economy.kif 3930-3930 subclass DeadFn Melon and GroceryProduce
(subclass
    (DeadFn Olive) GroceryProduce)
Economy.kif 3941-3941 subclass DeadFn Olive and GroceryProduce
(subclass
    (DeadFn Papaw) GroceryProduce)
Economy.kif 3982-3982 subclass DeadFn Papaw and GroceryProduce
(subclass
    (DeadFn Papaya) GroceryProduce)
Economy.kif 3987-3987 subclass DeadFn Papaya and GroceryProduce
(subclass
    (DeadFn PassionFruit) GroceryProduce)
Economy.kif 3990-3990 subclass DeadFn PassionFruit and GroceryProduce
(subclass
    (DeadFn Peanut) GroceryProduce)
Economy.kif 4030-4030 subclass DeadFn Peanut and GroceryProduce

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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

Show without tree


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