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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Blood

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 18433-18435
(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 18432-18432

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


(rangeSubclass AgricultureFn Agriculture) Society.kif 1105-1105
(subclass CommercialAgriculture Agriculture) Society.kif 1465-1465
(subclass SlashAndBurnAgriculture Agriculture) Geography.kif 2776-2776
(termFormat EnglishLanguage Agriculture "agriculture") domainEnglishFormat.kif 1431-1431

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


(=>
    (instance ?AG Agriculture)
    (resultType ?AG AgriculturalArtifact))
Society.kif 980-982
(=>
    (instance ?AGRO Agriculture)
    (exists (?GROWTH)
        (and
            (instance ?GROWTH Growth)
            (subProcess ?GROWTH ?AGRO))))
Mid-level-ontology.kif 18437-18442

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 1772-1774
(=>
    (attribute ?P FarmHand)
    (exists (?F)
        (and
            (instance ?F Agriculture)
            (agent ?F ?P))))
Mid-level-ontology.kif 18446-18451
(=>
    (instance ?A CultivatedLandArea)
    (exists (?C)
        (and
            (instance ?C Agriculture)
            (eventLocated ?C ?A))))
Mid-level-ontology.kif 7873-7878
(=>
    (instance ?F
        (FarmOfProductFn ?O))
    (exists (?A ?OI)
        (and
            (instance ?OI ?O)
            (instance ?A Agriculture)
            (located ?A ?F)
            (result ?A ?OI))))
Food.kif 1138-1145
(=>
    (instance ?H Harvesting)
    (exists (?A)
        (and
            (instance ?A Agriculture)
            (subProcess ?H ?A))))
Mid-level-ontology.kif 15743-15748
(=>
    (instance ?O Orchard)
    (exists (?A ?T)
        (and
            (instance ?A Agriculture)
            (located ?A ?O)
            (instance ?T Tree)
            (result ?A ?T))))
Food.kif 1123-1130
(=>
    (instance ?T Tilling)
    (exists (?A)
        (and
            (instance ?A Agriculture)
            (subProcess ?T ?A))))
Mid-level-ontology.kif 15702-15707


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