Felling - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Felling

Felling(felling)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5470-5470
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5468-5468	Felling is a subclass of cutting
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5469-5469	Felling is a subclass of harvesting

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23488-23488
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23487-23487
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23486-23486

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5502-5521	If a physical is an instance of felling, then the physical has the purpose there exist an entity, the entityIMB and a third entity such that the entity is an instance of botanical tree and the entity is a patient of the physical and the entityIMB is a result of the physical and the entityIMB is an instance of timber and the entityIMB is equal to the third entity and the third entity is an instance of plant stem and the third entity is a part of the entity holds during the beginning of the time of existence of the physical and the third entity is not a part of the entity holds during the end of the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5472-5483	If an entity is an instance of felling, then there exist a process, another process,, , an object and another object such that the process is an instance of cutting and the object is a patient of the process and the object is an instance of botanical tree and the other process is a result of the process and the other process is an instance of falling and the other object is a patient of the other process and the other object is an instance of plant stem and the other object is a part of the object

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