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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Farm
Farm(farm)
cattle_farm, cattle_ranch, chicken_farm, farm, ranch, spread, stud_farm

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


(documentation Farm EnglishLanguage "A StationaryArtifact consisting of a cultivated LandArea and Buildings for maintaining the land and/ or the Animals on the land.") Mid-level-ontology.kif 15732-15734
(externalImage Farm "http://upload.wikimedia.org/wikipedia/commons/a/a2/ Farming_near_Klingerstown%2C_Pennsylvania.jpg") pictureList.kif 89-89
(subclass Farm StationaryArtifact) Mid-level-ontology.kif 15731-15731 Farm is a subclass of stationary artifact

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


(termFormat ChineseLanguage Farm "农场") domainEnglishFormat.kif 23272-23272
(termFormat ChineseTraditionalLanguage Farm "農場") domainEnglishFormat.kif 23271-23271
(termFormat EnglishLanguage Farm "farm") domainEnglishFormat.kif 23270-23270

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


(=>
    (and
        (instance ?FARMING Farming)
        (agent ?FARMING ?FARMER))
    (exists (?FARM)
        (and
            (instance ?FARM Farm)
            (holdsDuring
                (WhenFn ?FARMING)
                (located ?FARMER ?FARM)))))
Mid-level-ontology.kif 20507-20514
(=>
    (instance ?B FarmBuilding)
    (exists (?F)
        (and
            (instance ?F Farm)
            (located ?B ?F))))
Mid-level-ontology.kif 7096-7101
(=>
    (instance ?BARN Barn)
    (exists (?FARM)
        (and
            (instance ?FARM Farm)
            (located ?BARN ?FARM))))
Mid-level-ontology.kif 15741-15746


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