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

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 114-120
(=>
    (equal ?C
        (DeadFn Apple))
    (subclass ?C GroceryProduce))
Economy.kif 4016-4019
(=>
    (equal ?C
        (DeadFn Avocado))
    (subclass ?C GroceryProduce))
Economy.kif 4058-4061
(=>
    (equal ?C
        (DeadFn Banana))
    (subclass ?C GroceryProduce))
Economy.kif 4065-4068
(=>
    (equal ?C
        (DeadFn Berry))
    (subclass ?C GroceryProduce))
Economy.kif 4009-4012
(=>
    (equal ?C
        (DeadFn BotanicalTree))
    (subclass ?C Timber))
Economy.kif 4653-4656
(=>
    (equal ?C
        (DeadFn Breadfruit))
    (subclass ?C GroceryProduce))
Economy.kif 4072-4075
(=>
    (equal ?C
        (DeadFn Cabbage))
    (subclass ?C GroceryProduce))
Economy.kif 3859-3862
(=>
    (equal ?C
        (DeadFn Carrot))
    (subclass ?C GroceryProduce))
Economy.kif 3911-3914
(=>
    (equal ?C
        (DeadFn Cassava))
    (subclass ?C GroceryProduce))
Economy.kif 3951-3954
(=>
    (equal ?C
        (DeadFn Cauliflower))
    (subclass ?C GroceryProduce))
Economy.kif 3866-3869
(=>
    (equal ?C
        (DeadFn CitrusFruit))
    (subclass ?C GroceryProduce))
Economy.kif 4030-4033
(=>
    (equal ?C
        (DeadFn Coconut))
    (subclass ?C GroceryProduce))
Economy.kif 4079-4082
(=>
    (equal ?C
        (DeadFn Cucumber))
    (subclass ?C GroceryProduce))
Economy.kif 3852-3855
(=>
    (equal ?C
        (DeadFn DateFruit))
    (subclass ?C GroceryProduce))
Economy.kif 4086-4089
(=>
    (equal ?C
        (DeadFn EdibleNut))
    (subclass ?C GroceryProduce))
Economy.kif 4157-4160
(=>
    (equal ?C
        (DeadFn Eggplant))
    (subclass ?C GroceryProduce))
Economy.kif 3873-3876
(=>
    (equal ?C
        (DeadFn Grape))
    (subclass ?C GroceryProduce))
Economy.kif 3995-3998
(=>
    (equal ?C
        (DeadFn Groundnut))
    (subclass ?C GroceryProduce))
Economy.kif 4179-4182
(=>
    (equal ?C
        (DeadFn LeafyGreenVegetable))
    (subclass ?C GroceryProduce))
Economy.kif 3845-3848
(=>
    (equal ?C
        (DeadFn Mango))
    (subclass ?C GroceryProduce))
Economy.kif 4093-4096
(=>
    (equal ?C
        (DeadFn Melon))
    (subclass ?C GroceryProduce))
Economy.kif 4000-4003
(=>
    (equal ?C
        (DeadFn Olive))
    (subclass ?C GroceryProduce))
Economy.kif 4023-4026
(=>
    (equal ?C
        (DeadFn Papaw))
    (subclass ?C GroceryProduce))
Economy.kif 4100-4103
(=>
    (equal ?C
        (DeadFn Papaya))
    (subclass ?C GroceryProduce))
Economy.kif 4110-4113

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?REM OrganicObject)
        (instance ?DEATH Death)
        (experiencer ?DEATH ?ORG)
        (instance ?ORG ?ORGTYPE)
        (subclass ?ORGTYPE Organism)
        (result ?DEATH ?REM))
    (instance ?REM
        (DeadFn ?ORGTYPE)))
Mid-level-ontology.kif 124-132
(=>
    (instance ?M Meat)
    (exists (?DA ?AC)
        (and
            (instance ?DA
                (DeadFn ?AC))
            (part ?M ?DA)
            (subclass ?AC Animal))))
Food.kif 237-243
(=>
    (instance ?S Seafood)
    (exists (?DA ?F)
        (and
            (instance ?DA
                (DeadFn ?F))
            (part ?S ?DA)
            (subclass ?F Fish))))
Food.kif 804-810
(=>
    (instance ?X HumanCorpse)
    (instance ?X
        (DeadFn Human)))
Mid-level-ontology.kif 103-105


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