DeadFn - Sigma Knowledge base Browser

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.")	Merge.kif 18556-18558
(domainSubclass DeadFn 1 OrganicObject)	Merge.kif 18554-18554	The number 1 argument of Dead fn is a subclass of organic object
(instance DeadFn UnaryFunction)	Merge.kif 18553-18553	Dead fn is an instance of unary function
(rangeSubclass DeadFn OrganismRemains)	Merge.kif 18555-18555	The values returned by Dead fn are subclasses of organism remains

appearance as argument number 2

(format ChineseLanguage DeadFn "一个 dead %1 ")	domainEnglishFormat.kif 3162-3162
(format ChineseTraditionalLanguage DeadFn "一個 dead %1 ")	domainEnglishFormat.kif 3161-3161
(format EnglishLanguage DeadFn "a dead %1")	domainEnglishFormat.kif 3160-3160
(relatedInternalConcept DeadOrMissingBodyPartFn DeadFn)	Merge.kif 18317-18317	Dead or missing body part fn is internally related to Dead fn
(relatedInternalConcept Fodder DeadFn)	Mid-level-ontology.kif 20294-20294	Fodder is internally related to Dead fn
(relatedInternalConcept OrganicObjectFn DeadFn)	Economy.kif 5248-5248	Organic object fn is internally related to Dead fn
(relatedInternalConcept Produce DeadFn)	Economy.kif 4186-4186	Produce is internally related to Dead fn
(relatedInternalConcept SheddingPart DeadFn)	Geography.kif 6407-6407	Shedding part is internally related to Dead fn
(termFormat EnglishLanguage DeadFn "Dead fn")	domainEnglishFormat.kif 64793-64793	Shedding part is internally related to Dead fn

antecedent

(=> (and (instance ?REM (DeadFn ?ORGTYPE)) (instance ?DEATH Death) (result ?DEATH ?REM) (experiencer ?DEATH ?ORG)) (instance ?ORG ?ORGTYPE))	Mid-level-ontology.kif 114-120	If an entity is an instance of a dead a kind of organic object 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 organic object
(=> (instance ?X (DeadFn CerealGrain)) (exists (?CLASS) (and (instance ?X ?CLASS) (equal ?CLASS (FoodForFn Animal)))))	Economy.kif 4035-4040	If an entity is an instance of a dead cereal grain, then there exists a kind of self connected object such that the entity is an instance of a kind of self connected object and the kind of self connected object is equal to food for animal
(=> (instance ?X (DeadFn CerealGrass)) (instance ?X Grain))	Economy.kif 4031-4033	If an entity is an instance of a dead cereal grass plant, then the entity is an instance of grain
(=> (instance ?X (DeadFn WheatGrass)) (instance ?X WheatGrain))	Economy.kif 4055-4057	If an entity is an instance of a dead wheat grass, then the entity is an instance of wheat grain

consequent

(=> (and (equal ?P (OrganicObjectFn ?ORG)) (subclass ?P Object)) (exists (?R ?O) (and (instance ?R (DeadFn ?ORG)) (part ?R ?O) (instance ?O ?ORG))))	Economy.kif 5267-5276	If a kind of object is equal to Object made from a kind of organic object and a kind of object is a subclass of object, then there exist another object and a third object such that the other object is an instance of a dead a kind of organic object and the other object is a part of the third object and the third object is an instance of the kind of organic object
(=> (and (instance ?F Felling) (result ?F ?S)) (exists (?STEM) (and (instance ?S (DeadFn ?STEM)) (subclass ?STEM PlantStem))))	Economy.kif 5485-5493	If a process is an instance of felling and an entity is a result of the process, then there exists the entityTEM such that the entity is an instance of a dead the entityTEM and the entityTEM is a subclass of plant stem
(=> (and (instance ?H Harvesting) (result ?H ?O)) (exists (?ORG) (and (instance ?O (DeadFn ?ORG)) (subclass ?ORG OrganicObject))))	Mid-level-ontology.kif 18342-18350	If a process is an instance of harvesting and an entity is a result of the process, then there exists the entityRG such that the entity is an instance of a dead the entityRG and the entityRG is a subclass of organic object
(=> (and (instance ?REL SheddingPart) (?REL ?O ?P) (instance ?O ?ORG) (subclass ?ORG Organism)) (exists (?PART) (and (instance ?P (DeadFn ?PART)) (initialPart ?PART ?ORG))))	Geography.kif 6425-6434	If an entity is an instance of shedding part and the entity another entity and a third entity and the other entity is an instance of the other entityRG and the other entityRG is a subclass of organism, then there exists the third entityART such that the third entity is an instance of a dead the third entityART and every the third entityART is initially part of a the other entityRG
(=> (and (instance ?REM OrganismRemains) (instance ?DEATH Death) (experiencer ?DEATH ?ORG) (instance ?ORG ?ORGTYPE) (subclass ?ORGTYPE OrganicObject) (result ?DEATH ?REM)) (instance ?REM (DeadFn ?ORGTYPE)))	Mid-level-ontology.kif 122-130	If an entity is an instance of organism remains 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 agentTYPE is a subclass of organic object 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 1909-1915	If an object is an instance of meat, then there exist another object and a kind of organic object such that the other object is an instance of a dead a kind of organic object and the object is a part of the other object and the kind of organic object is a subclass of animal
(=> (instance ?S Seafood) (exists (?DA ?F) (and (instance ?DA (DeadFn ?F)) (part ?S ?DA) (subclass ?F Fish))))	Food.kif 3377-3383	If an object is an instance of seafood, then there exist another object and a kind of organic object such that the other object is an instance of a dead a kind of organic object and the object is a part of the other object and the kind of organic object is a subclass of fish
(=> (instance ?S Spice) (exists (?P ?CLASS) (and (instance ?P (DeadFn ?CLASS)) (part ?S ?P) (subclass ?CLASS PlantAnatomicalStructure))))	Economy.kif 4365-4372	If an object is an instance of spice, then there exist another object and a kind of organic object such that the other object is an instance of a dead a kind of organic object and the object is a part of the other object and the kind of organic object is a subclass of plant anatomical structure
(=> (instance ?X FoodFromPlant) (exists (?P ?CLASS) (and (instance ?P (DeadFn ?CLASS)) (part ?X ?P) (subclass ?CLASS Plant))))	Food.kif 299-306	If an object is an instance of food from plant, then there exist another object and a kind of organic object such that the other object is an instance of a dead a kind of organic object and the object is a part of the other object and the kind of organic object is a subclass of plant
(=> (instance ?X HumanCorpse) (instance ?X (DeadFn Human)))	Mid-level-ontology.kif 105-107	If an entity is an instance of human corpse, then the entity is an instance of a dead human

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