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 18581-18583
(domainSubclass DeadFn 1 OrganicObject)	Merge.kif 18579-18579	The number 1 argument of Dead fn is a subclass of organic object
(instance DeadFn UnaryFunction)	Merge.kif 18578-18578	Dead fn is an instance of unary function
(rangeSubclass DeadFn OrganismRemains)	Merge.kif 18580-18580	The values returned by Dead fn are subclasses of organism remains

appearance as argument number 2

(format ChineseLanguage DeadFn "一个 dead %1 ")	domainEnglishFormat.kif 3166-3166
(format ChineseTraditionalLanguage DeadFn "一個 dead %1 ")	domainEnglishFormat.kif 3165-3165
(format EnglishLanguage DeadFn "a dead %1")	domainEnglishFormat.kif 3164-3164
(relatedInternalConcept DeadOrMissingBodyPartFn DeadFn)	Merge.kif 18342-18342	Dead or missing body part fn is internally related to Dead fn
(relatedInternalConcept Fodder DeadFn)	Mid-level-ontology.kif 21125-21125	Fodder is internally related to Dead fn
(relatedInternalConcept OrganicObjectFn DeadFn)	Economy.kif 5458-5458	Organic object fn is internally related to Dead fn
(relatedInternalConcept Produce DeadFn)	Economy.kif 4396-4396	Produce is internally related to Dead fn
(relatedInternalConcept SheddingPart DeadFn)	Geography.kif 6475-6475	Shedding part is internally related to Dead fn
(termFormat EnglishLanguage DeadFn "Dead fn")	domainEnglishFormat.kif 64768-64768	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 4245-4250	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 4241-4243	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 4265-4267	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 5477-5486	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 5695-5703	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 19173-19181	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 6493-6502	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 4575-4582	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