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 110-112
(domainSubclass DeadFn 1 Organism) Mid-level-ontology.kif 108-108
(instance DeadFn UnaryFunction) Mid-level-ontology.kif 107-107
(rangeSubclass DeadFn OrganismRemains) Mid-level-ontology.kif 109-109

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 ?ORG Organism)
        (result ?DEATH ?REM))
    (instance ?REM
        (DeadFn ?ORGTYPE)))		 Mid-level-ontology.kif 122-130
(=>
    (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 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