TreeView Knowledge Base Browser - Harvesting

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Harvesting

Harvesting(harvesting)

glean, harvest, reap

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18074-18075
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2587-2587
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2477-2477
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2586-2586
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18073-18073	Harvesting is a subclass of killing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18072-18072	Harvesting is a subclass of removing

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5469-5469	Felling is a subclass of harvesting
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27492-27492
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27491-27491
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27490-27490

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 2687-2692	If a process is an instance of harvesting and an object is a result of the process and the object is an instance of mushroom, then produce is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18084-18092	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.	Food.kif 2159-2164	If a process is an instance of harvesting and an object is a result of the process and the object is an instance of herb, then produce is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18077-18082	If a process is an instance of harvesting, then there exists another process such that the other process is an instance of agriculture and the process is a subprocess of the other process

consequent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4195-4204	If produce is an attribute of an object and the object is an instance of fruit or vegetable, then the object has the purpose there exists an entity such that the entity is an instance of harvesting and the object is a result of the entity and the object is an instance of food for human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20041-20050	If fodder is an attribute of an object, then the object has the purpose there exists an entity such that the entity is an instance of harvesting and the object is a result of the entity and the object is an instance of organic object and the object is an instance of food for domestic animal

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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