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 19163-19164
(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 19162-19162	Harvesting is a subclass of killing
(subclass Harvesting Removing)	Mid-level-ontology.kif 19161-19161	Harvesting is a subclass of removing

appearance as argument number 2

(subclass Felling Harvesting)	Economy.kif 5679-5679	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 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
(=> (and (instance ?H Harvesting) (result ?H ?O)) (exists (?ORG) (and (instance ?O (DeadFn ?ORG)) (subclass ?ORG OrganicObject))))	Mid-level-ontology.kif 19173-19181	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 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
(=> (instance ?H Harvesting) (exists (?A) (and (instance ?A Agriculture) (subProcess ?H ?A))))	Mid-level-ontology.kif 19166-19171	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 4405-4414	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 21130-21139	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