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 18665-18667
(domainSubclass DeadFn 1 OrganicObject)	Merge.kif 18663-18663	The number 1 argument of Dead fn is a subclass of organic object
(instance DeadFn UnaryFunction)	Merge.kif 18662-18662	Dead fn is an instance of unary function
(rangeSubclass DeadFn OrganismRemains)	Merge.kif 18664-18664	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 18425-18425	Dead or missing body part fn is internally related to Dead fn
(relatedInternalConcept Fodder DeadFn)	Mid-level-ontology.kif 21623-21623	Fodder is internally related to Dead fn
(relatedInternalConcept OrganicObjectFn DeadFn)	Economy.kif 5589-5589	Organic object fn is internally related to Dead fn
(relatedInternalConcept Produce DeadFn)	Economy.kif 4523-4523	Produce is internally related to Dead fn
(relatedInternalConcept SheddingPart DeadFn)	Geography.kif 6677-6677	Shedding part is internally related to Dead fn
(termFormat EnglishLanguage DeadFn "Dead fn")	domainEnglishFormat.kif 64739-64739	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 4372-4377	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 equal the kind of self connected object and food for animal
(=> (instance ?X (DeadFn CerealGrass)) (instance ?X Grain))	Economy.kif 4368-4370	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 4392-4394	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 5608-5617	If equal a kind of object and 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 5827-5835	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 19655-19663	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 6695-6704	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 1915-1921	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 3384-3390	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 4703-4710	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