TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Agriculture EnglishLanguage "Agriculture is a class of Processes in which land, plants, or animals are cultivated in order to produce food or other organic products.")	Mid-level-ontology.kif 20788-20790
(externalImage Agriculture "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ RegaderaMetalica.jpg")	pictureList.kif 5842-5842
(externalImage Agriculture "http://upload.wikimedia.org/wikipedia/commons/ 1/ 10/ Ueberladewagen.jpg")	pictureList.kif 6051-6051
(externalImage Agriculture "http://upload.wikimedia.org/wikipedia/commons/ 2/ 26/ KerbauJawa.jpg")	pictureList.kif 6052-6052
(externalImage Agriculture "http://upload.wikimedia.org/wikipedia/commons/ 6/ 63/ Cropscientist.jpg")	pictureList.kif 6053-6053
(externalImage Agriculture "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Fields_of_gold.jpg")	pictureList.kif 6054-6054
(externalImage Agriculture "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7b/ Erosion.jpg")	pictureList.kif 6055-6055
(externalImage Agriculture "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8a/ Agriculture_%28Plowing%29_CNE-v1-p58-H.jpg")	pictureList.kif 6056-6056
(externalImage Agriculture "http://upload.wikimedia.org/wikipedia/commons/ f/ f6/ Coffee_Plantation.jpg")	pictureList.kif 6058-6058
(subclass Agriculture Maintaining)	Mid-level-ontology.kif 20787-20787

appearance as argument number 2

(subclass SlashAndBurnAgriculture Agriculture)	Geography.kif 2929-2929
(termFormat ChineseLanguage Agriculture "农业")	domainEnglishFormat.kif 5982-5982
(termFormat ChineseTraditionalLanguage Agriculture "農業")	domainEnglishFormat.kif 5981-5981
(termFormat EnglishLanguage Agriculture "agriculture")	domainEnglishFormat.kif 5980-5980

antecedent

(=>
    (instance ?AGRO Agriculture)
    (exists (?GROWTH)
        (and
            (instance ?GROWTH Growth)
            (subProcess ?GROWTH ?AGRO))))

Mid-level-ontology.kif 20792-20797

consequent

(=> (and (instance ?ORG Organization) (attribute ?ORG BuildingMaterialAndGardenEquipmentAndSuppliesDealers)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING) (and (instance ?EV Selling) (instance ?THING Object) (or (capability Constructing resource ?THING) (capability Agriculture resource ?THING)) (patient ?EV ?THING))))))	naics.kif 7242-7257
(=> (and (instance ?P ForestProduct) (instance ?M Manufacture) (result ?M ?P) (patient ?M ?X) (instance ?X Organism)) (exists (?A ?F) (and (instance ?A Agriculture) (result ?A ?X) (eventLocated ?A ?F) (instance ?F Forest))))	Economy.kif 5210-5222
(=> (attribute ?AREA FertileTerrain) (capability Agriculture eventLocated ?AREA))	Geography.kif 1831-1833
(=> (attribute ?P FarmHand) (exists (?F) (and (instance ?F Agriculture) (agent ?F ?P))))	Mid-level-ontology.kif 20802-20807
(=> (attribute ?X ForageCrop) (hasPurpose ?X (exists (?A) (and (instance ?A Agriculture) (result ?A ?X) (instance ?X Plant) (instance ?X (FoodForFn DomesticAnimal))))))	Economy.kif 4809-4818
(=> (instance ?A CultivatedLandArea) (exists (?C) (and (instance ?C Agriculture) (eventLocated ?C ?A))))	Mid-level-ontology.kif 8111-8116
(=> (instance ?F (FarmOfProductFn ?O)) (exists (?A ?OI) (and (instance ?OI ?O) (instance ?A Agriculture) (located ?A ?F) (result ?A ?OI))))	Food.kif 3670-3677
(=> (instance ?H Harvesting) (exists (?A) (and (instance ?A Agriculture) (subProcess ?H ?A))))	Mid-level-ontology.kif 18026-18031
(=> (instance ?O Orchard) (exists (?A ?T) (and (instance ?A Agriculture) (located ?A ?O) (instance ?T Tree) (result ?A ?T))))	Food.kif 3655-3662
(=> (instance ?T Tilling) (exists (?A) (and (instance ?A Agriculture) (subProcess ?T ?A))))	Mid-level-ontology.kif 17979-17984

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

KB Term:			Term intersection

English Word: