DeadFn - Sigma Knowledge base Browser

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

If an entity is an instance of a dead a kind of organism and a process is an instance of death and the entity is a result of the process and an agent experiences the process,
then the agent is an instance of a kind of organism

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	If an entity is an instance of organic object and a process is an instance of death and an agent experiences the process and the agent is an instance of the agentTYPE and the agent is a subclass of organism and the entity is a result of the process, then the entity is an instance of a dead the agentTYPE
(=> (instance ?M Meat) (exists (?DA ?AC) (and (instance ?DA (DeadFn ?AC)) (part ?M ?DA) (subclass ?AC Animal))))	Food.kif 255-261	If an object is an instance of meat, then there exist another object and a kind of organism such that the other object is an instance of a dead a kind of organism and the object is a part of the other object and the kind of organism is a subclass of animal
(=> (instance ?S Seafood) (exists (?DA ?F) (and (instance ?DA (DeadFn ?F)) (part ?S ?DA) (subclass ?F Fish))))	Food.kif 819-825	If an object is an instance of seafood, then there exist another object and a kind of organism such that the other object is an instance of a dead a kind of organism and the object is a part of the other object and the kind of organism is a subclass of fish
(=> (instance ?X HumanCorpse) (instance ?X (DeadFn Human)))	Mid-level-ontology.kif 228-230	If an entity is an instance of human corpse, then the entity is an instance of a dead human

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: