TreeView 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	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 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 241-247

instance Entity and DeadFn Organism instance Process and Death result Process and Entity experiencer Process and Agent
instance Agent and 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	instance Entity and OrganicObject instance Process and Death experiencer Process and Agent instance Agent and AgentTYPE subclass Agent and Organism result Process and Entity instance Entity and DeadFn AgentTYPE
(=> (instance ?M Meat) (exists (?DA ?AC) (and (instance ?DA (DeadFn ?AC)) (part ?M ?DA) (subclass ?AC Animal))))	Food.kif 255-261	instance Object and Meat Object Organism instance Object and DeadFn Organism part Object and Object subclass Organism and Animal
(=> (instance ?S Seafood) (exists (?DA ?F) (and (instance ?DA (DeadFn ?F)) (part ?S ?DA) (subclass ?F Fish))))	Food.kif 819-825	instance Object and Seafood Object Organism instance Object and DeadFn Organism part Object and Object subclass Organism and Fish
(=> (instance ?X HumanCorpse) (instance ?X (DeadFn Human)))	Mid-level-ontology.kif 228-230	instance Entity and HumanCorpse instance Entity and DeadFn Human

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)

KB Term:			Term intersection

English Word: