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 16660-16662
(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 16659-16659 Farm is a subclass of stationary artifact

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


(termFormat ChineseLanguage Farm "农场") domainEnglishFormat.kif 23286-23286
(termFormat ChineseTraditionalLanguage Farm "農場") domainEnglishFormat.kif 23285-23285
(termFormat EnglishLanguage Farm "farm") domainEnglishFormat.kif 23284-23284

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


(=>
    (and
        (instance ?FARMING Farming)
        (agent ?FARMING ?FARMER))
    (exists (?FARM)
        (and
            (instance ?FARM Farm)
            (holdsDuring
                (WhenFn ?FARMING)
                (located ?FARMER ?FARM)))))
Mid-level-ontology.kif 21596-21603
(=>
    (instance ?B FarmBuilding)
    (exists (?F)
        (and
            (instance ?F Farm)
            (located ?B ?F))))
Mid-level-ontology.kif 7869-7874
(=>
    (instance ?BARN Barn)
    (exists (?FARM)
        (and
            (instance ?FARM Farm)
            (located ?BARN ?FARM))))
Mid-level-ontology.kif 16669-16674


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