Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Farming
Farming(farming)
agriculture, cultivation, farming, husbandry, mixed_farming

appearance as argument number 1
-------------------------


(subclass Farming Working) Mid-level-ontology.kif 22745-22745 Farming is a subclass of working
(documentation Farming EnglishLanguage "Operating a farm, e.g. planting and harvesting crops, tending livestock, etc.") Mid-level-ontology.kif 22746-22747 Farming is a subclass of working
(externalImage Farming "http://upload.wikimedia.org/wikipedia/commons/1/ 10/ Ueberladewagen.jpg") pictureList.kif 4681-4681 Farming is a subclass of working

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


(subclass OpiumPoppyFarming Farming) Economy.kif 6641-6641 Opium poppy farming is a subclass of farming
(termFormat EnglishLanguage Farming "farming") domainEnglishFormat.kif 23290-23290 Opium poppy farming is a subclass of farming
(termFormat ChineseTraditionalLanguage Farming "農業") domainEnglishFormat.kif 23291-23291 Opium poppy farming is a subclass of farming
(termFormat ChineseLanguage Farming "农业") domainEnglishFormat.kif 23292-23292 Opium poppy farming is a subclass of farming

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


(=>
    (and
        (instance ?FARMING Farming)
        (agent ?FARMING ?FARMER))
    (exists (?FARM)
        (and
            (instance ?FARM Farm)
            (holdsDuring
                (WhenFn ?FARMING)
                (located ?FARMER ?FARM)))))		 Mid-level-ontology.kif 22749-22756 If X is an instance of farming and Y is an agent of X, then there exists Z such that Z is an instance of farm and Y is located at Z holds during the time of existence of X

consequent
-------------------------


(=>
    (instance ?F Plant)
    (capability Farming patient ?F))		 Mid-level-ontology.kif 22758-22760 If X is an instance of plant, then X is capable of doing farming as a patient


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners