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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Barn

Sigma KEE - Barn
Barn
حضِيرة, مخْزن حُبُوب,

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


(disjoint Barn ResidentialBuilding) Mid-level-ontology.kif 13128-13128
(documentation Barn EnglishLanguage "A Building on a Farm that is used for keeping DomesticAnimals, Fodder or harvested crops.") Mid-level-ontology.kif 13129-13130
(externalImage Barn "http://www.adampease.org/Articulate/SUMOpictures/pictures/ working/ agricultural/ BARN-1.png") pictureList.kif 258-258
(subclass Barn Building) Mid-level-ontology.kif 13127-13127

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


(termFormat EnglishLanguage Barn "barn") domainEnglishFormat.kif 2097-2097

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


(=>
    (instance ?BARN Barn)
    (exists (?FARM)
        (and
            (instance ?FARM Farm)
            (located ?BARN ?FARM))))
Mid-level-ontology.kif 13132-13137


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