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

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18577-18579
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18575-18575	The number 1 argument of Dead fn is a subclass of organic object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18574-18574	Dead fn is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18576-18576	The values returned by Dead fn are subclasses of organism remains

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3166-3166
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3165-3165
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3164-3164
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18338-18338	Dead or missing body part fn is internally related to Dead fn
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20954-20954	Fodder is internally related to Dead fn
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5463-5463	Organic object fn is internally related to Dead fn
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4401-4401	Produce is internally related to Dead fn
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6475-6475	Shedding part is internally related to Dead fn
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64768-64768	Shedding part is internally related to Dead fn

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4250-4255	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4246-4248	If an entity is an instance of a dead cereal grass plant, then the entity is an instance of grain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4270-4272	If an entity is an instance of a dead wheat grass, then the entity is an instance of wheat grain

consequent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5482-5491	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5700-5708	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19002-19010	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4580-4587	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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