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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Agriculture
Agriculture
more pictures...

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 22473-22475
(externalImage Agriculture "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ RegaderaMetalica.jpg") pictureList.kif 5841-5841
(externalImage Agriculture "http://upload.wikimedia.org/wikipedia/commons/ 1/ 10/ Ueberladewagen.jpg") pictureList.kif 6050-6050
(externalImage Agriculture "http://upload.wikimedia.org/wikipedia/commons/ 2/ 26/ KerbauJawa.jpg") pictureList.kif 6051-6051
(externalImage Agriculture "http://upload.wikimedia.org/wikipedia/commons/ 6/ 63/ Cropscientist.jpg") pictureList.kif 6052-6052
(externalImage Agriculture "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Fields_of_gold.jpg") pictureList.kif 6053-6053
(externalImage Agriculture "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7b/ Erosion.jpg") pictureList.kif 6054-6054
(externalImage Agriculture "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8a/ Agriculture_%28Plowing%29_CNE_v1-p58-H.jpg") pictureList.kif 6055-6055
(externalImage Agriculture "http://upload.wikimedia.org/wikipedia/commons/ f/ f6/ Coffee_Plantation.jpg") pictureList.kif 6057-6057
(subclass Agriculture Maintaining) Mid-level-ontology.kif 22472-22472

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


(subclass SlashAndBurnAgriculture Agriculture) Geography.kif 2917-2917
(termFormat ChineseLanguage Agriculture "农业") domainEnglishFormat.kif 5991-5991
(termFormat ChineseTraditionalLanguage Agriculture "農業") domainEnglishFormat.kif 5990-5990
(termFormat EnglishLanguage Agriculture "agriculture") domainEnglishFormat.kif 5989-5989

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


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

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 5551-5563
(=>
    (attribute ?AREA FertileTerrain)
    (capability Agriculture eventLocated ?AREA))
Geography.kif 1819-1821
(=>
    (attribute ?P FarmHand)
    (exists (?F)
        (and
            (instance ?F Agriculture)
            (agent ?F ?P))))
Mid-level-ontology.kif 22487-22492
(=>
    (attribute ?X ForageCrop)
    (hasPurpose ?X
        (exists (?A)
            (and
                (instance ?A Agriculture)
                (result ?A ?X)
                (instance ?X Plant)
                (instance ?X
                    (FoodForFn DomesticAnimal))))))
Economy.kif 5149-5158
(=>
    (instance ?A CultivatedLandArea)
    (exists (?C)
        (and
            (instance ?C Agriculture)
            (eventLocated ?C ?A))))
Mid-level-ontology.kif 9325-9330
(=>
    (instance ?F
        (FarmOfProductFn ?O))
    (exists (?A ?OI)
        (and
            (instance ?OI ?O)
            (instance ?A Agriculture)
            (located ?A ?F)
            (result ?A ?OI))))
Food.kif 3677-3684
(=>
    (instance ?H Harvesting)
    (exists (?A)
        (and
            (instance ?A Agriculture)
            (subProcess ?H ?A))))
Mid-level-ontology.kif 19665-19670
(=>
    (instance ?O Orchard)
    (exists (?A ?T)
        (and
            (instance ?A Agriculture)
            (located ?A ?O)
            (instance ?T Tree)
            (result ?A ?T))))
Food.kif 3662-3669
(=>
    (instance ?T Tilling)
    (exists (?A)
        (and
            (instance ?A Agriculture)
            (subProcess ?T ?A))))
Mid-level-ontology.kif 19618-19623


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