Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Agriculture
Agriculture
more pictures...

VerbNet: build-26.1|grow, build-26.1|grow, build-26.1|grow, build-26.1|grow,


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 18545-18547
(externalImage Agriculture "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ RegaderaMetalica.jpg") pictureList.kif 5843-5843
(externalImage Agriculture "http://upload.wikimedia.org/wikipedia/commons/ 1/ 10/ Ueberladewagen.jpg") pictureList.kif 6052-6052
(externalImage Agriculture "http://upload.wikimedia.org/wikipedia/commons/ 2/ 26/ KerbauJawa.jpg") pictureList.kif 6053-6053
(externalImage Agriculture "http://upload.wikimedia.org/wikipedia/commons/ 6/ 63/ Cropscientist.jpg") pictureList.kif 6054-6054
(externalImage Agriculture "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Fields_of_gold.jpg") pictureList.kif 6055-6055
(externalImage Agriculture "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7b/ Erosion.jpg") pictureList.kif 6056-6056
(externalImage Agriculture "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8a/ Agriculture_%28Plowing%29_CNE-v1-p58-H.jpg") pictureList.kif 6057-6057
(externalImage Agriculture "http://upload.wikimedia.org/wikipedia/commons/ f/ f6/ Coffee_Plantation.jpg") pictureList.kif 6059-6059
(subclass Agriculture Maintaining) Mid-level-ontology.kif 18544-18544 subclass Agriculture and Maintaining

appearance as argument number 2
-------------------------


(subclass SlashAndBurnAgriculture Agriculture) Geography.kif 2788-2788 subclass SlashAndBurnAgriculture and Agriculture
(termFormat ChineseLanguage Agriculture "农业") domainEnglishFormat.kif 5989-5989
(termFormat ChineseTraditionalLanguage Agriculture "農業") domainEnglishFormat.kif 5988-5988
(termFormat EnglishLanguage Agriculture "agriculture") domainEnglishFormat.kif 5987-5987

antecedent
-------------------------


(=>
    (instance ?AGRO Agriculture)
    (exists (?GROWTH)
        (and
            (instance ?GROWTH Growth)
            (subProcess ?GROWTH ?AGRO))))
Mid-level-ontology.kif 18549-18554

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 7249-7264
(=>
    (attribute ?AREA FertileTerrain)
    (capability Agriculture eventLocated ?AREA))
Geography.kif 1784-1786
(=>
    (attribute ?P FarmHand)
    (exists (?F)
        (and
            (instance ?F Agriculture)
            (agent ?F ?P))))
Mid-level-ontology.kif 18558-18563
(=>
    (instance ?A CultivatedLandArea)
    (exists (?C)
        (and
            (instance ?C Agriculture)
            (eventLocated ?C ?A))))
Mid-level-ontology.kif 7881-7886
(=>
    (instance ?F
        (FarmOfProductFn ?O))
    (exists (?A ?OI)
        (and
            (instance ?OI ?O)
            (instance ?A Agriculture)
            (located ?A ?F)
            (result ?A ?OI))))
Food.kif 1093-1100
(=>
    (instance ?H Harvesting)
    (exists (?A)
        (and
            (instance ?A Agriculture)
            (subProcess ?H ?A))))
Mid-level-ontology.kif 15826-15831
(=>
    (instance ?O Orchard)
    (exists (?A ?T)
        (and
            (instance ?A Agriculture)
            (located ?A ?O)
            (instance ?T Tree)
            (result ?A ?T))))
Food.kif 1078-1085
(=>
    (instance ?T Tilling)
    (exists (?A)
        (and
            (instance ?A Agriculture)
            (subProcess ?T ?A))))
Mid-level-ontology.kif 15785-15790


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners