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 237-239
(domainSubclass DeadFn 1 Organism) Mid-level-ontology.kif 235-235
(instance DeadFn UnaryFunction) Mid-level-ontology.kif 234-234
(rangeSubclass DeadFn OrganismRemains) Mid-level-ontology.kif 236-236

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


(format EnglishLanguage DeadFn "a dead %1") domainEnglishFormat.kif 802-802

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


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

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 251-259
(=>
    (instance ?M Meat)
    (exists (?DA ?AC)
        (and
            (instance ?DA
                (DeadFn ?AC))
            (part ?M ?DA)
            (subclass ?AC Animal))))
Food.kif 304-310
(=>
    (instance ?S Seafood)
    (exists (?DA ?F)
        (and
            (instance ?DA
                (DeadFn ?F))
            (part ?S ?DA)
            (subclass ?F Fish))))
Food.kif 864-870
(=>
    (instance ?X HumanCorpse)
    (instance ?X
        (DeadFn Human)))
Mid-level-ontology.kif 229-231

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