Harvesting - Sigma Knowledge base Browser

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

(documentation Harvesting EnglishLanguage "Gathering the plants, animals or fish as results of Agriculture. It inevitablely involves the dead of the OrganicObject being harvested as a result.")	Mid-level-ontology.kif 19662-19663
(externalImage Harvesting "http://upload.wikimedia.org/wikipedia/commons/ 0/ 02/ Manual_harvest_in_Tirumayam.jpg")	pictureList.kif 2586-2586
(externalImage Harvesting "http://upload.wikimedia.org/wikipedia/commons/ 1/ 10/ Ueberladewagen.jpg")	pictureList.kif 2476-2476
(externalImage Harvesting "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1f/ Claas_Lexion-570-2.jpg")	pictureList.kif 2585-2585
(subclass Harvesting Killing)	Mid-level-ontology.kif 19661-19661	Harvesting is a subclass of killing
(subclass Harvesting Removing)	Mid-level-ontology.kif 19660-19660	Harvesting is a subclass of removing

appearance as argument number 2

(subclass Felling Harvesting)	Economy.kif 5811-5811	Felling is a subclass of harvesting
(termFormat ChineseLanguage Harvesting "收获")	domainEnglishFormat.kif 27520-27520	Felling is a subclass of harvesting
(termFormat ChineseTraditionalLanguage Harvesting "收穫")	domainEnglishFormat.kif 27519-27519	Felling is a subclass of harvesting
(termFormat EnglishLanguage Harvesting "harvesting")	domainEnglishFormat.kif 27518-27518	Felling is a subclass of harvesting

antecedent

(=> (and (instance ?H Harvesting) (result ?H ?M) (instance ?M Mushroom)) (attribute ?M Produce))	Food.kif 2694-2699	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
(=> (and (instance ?H Harvesting) (result ?H ?O)) (exists (?ORG) (and (instance ?O (DeadFn ?ORG)) (subclass ?ORG OrganicObject))))	Mid-level-ontology.kif 19672-19680	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 ?H Harvesting) (result ?H ?X) (instance ?X Herb)) (attribute ?X Produce))	Food.kif 2166-2171	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
(=> (instance ?H Harvesting) (exists (?A) (and (instance ?A Agriculture) (subProcess ?H ?A))))	Mid-level-ontology.kif 19665-19670	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

(=> (and (attribute ?X Produce) (instance ?X FruitOrVegetable)) (hasPurpose ?X (exists (?H) (and (instance ?H Harvesting) (result ?H ?X) (instance ?X (FoodForFn Human))))))	Economy.kif 4532-4541	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
(=> (attribute ?X Fodder) (hasPurpose ?X (exists (?H) (and (instance ?H Harvesting) (result ?H ?X) (instance ?X OrganicObject) (instance ?X (FoodForFn DomesticAnimal))))))	Mid-level-ontology.kif 21645-21654	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 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