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 OragnicObject being harvested as a result.")	Mid-level-ontology.kif 18332-18333
(externalImage Harvesting "http://upload.wikimedia.org/wikipedia/commons/ 0/ 02/ Manual_harvest_in_Tirumayam.jpg")	pictureList.kif 2587-2587
(externalImage Harvesting "http://upload.wikimedia.org/wikipedia/commons/ 1/ 10/ Ueberladewagen.jpg")	pictureList.kif 2477-2477
(externalImage Harvesting "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1f/ Claas-Lexion-570-2.jpg")	pictureList.kif 2586-2586
(subclass Harvesting Killing)	Mid-level-ontology.kif 18331-18331	Harvesting is a subclass of killing
(subclass Harvesting Removing)	Mid-level-ontology.kif 18330-18330	Harvesting is a subclass of removing

appearance as argument number 2

(subclass Felling Harvesting)	Economy.kif 5469-5469	Felling is a subclass of harvesting
(termFormat ChineseLanguage Harvesting "收获")	domainEnglishFormat.kif 27526-27526	Felling is a subclass of harvesting
(termFormat ChineseTraditionalLanguage Harvesting "收穫")	domainEnglishFormat.kif 27525-27525	Felling is a subclass of harvesting
(termFormat EnglishLanguage Harvesting "harvesting")	domainEnglishFormat.kif 27524-27524	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 18342-18350	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 18335-18340	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 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
(=> (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 20299-20308	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