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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Farm

Sigma KEE - Farm
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 15759-15761
(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 15758-15758

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 20534-20541
(=>
    (instance ?B FarmBuilding)
    (exists (?F)
        (and
            (instance ?F Farm)
            (located ?B ?F))))
Mid-level-ontology.kif 7123-7128
(=>
    (instance ?BARN Barn)
    (exists (?FARM)
        (and
            (instance ?FARM Farm)
            (located ?BARN ?FARM))))
Mid-level-ontology.kif 15768-15773


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 3.0 is open source software produced by Articulate Software and its partners