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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 " 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


    (instance ?BARN Barn)
    (exists (?FARM)
            (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