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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Barn
Barn(谷仓)

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


(disjoint Barn ResidentialBuilding) Mid-level-ontology.kif 15237-15237 谷仓 和 % 2 是 disjoint
(documentation Barn EnglishLanguage "A Building on a Farm that is used for keeping DomesticAnimals, Fodder or harvested crops.") Mid-level-ontology.kif 15238-15239
(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 15236-15236 谷仓建筑物subclass

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


(termFormat ChineseLanguage Barn "谷仓") domainEnglishFormat.kif 9981-9981
(termFormat ChineseTraditionalLanguage Barn "穀倉") domainEnglishFormat.kif 9980-9980
(termFormat EnglishLanguage Barn "barn") domainEnglishFormat.kif 9979-9979

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


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


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