Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - HomeGarage
HomeGarage(home garage)

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


(subclass HomeGarage Building) Transportation.kif 4311-4311 Home garage is a subclass of building
(externalImage HomeGarage "http://upload.wikimedia.org/wikipedia/commons/ 1/ 11/ Two_Car_Garage.jpg") pictureList.kif 1805-1805 Home garage is a subclass of building

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


(termFormat EnglishLanguage HomeGarage "home garage") domainEnglishFormat.kif 28475-28475
(termFormat ChineseTraditionalLanguage HomeGarage "家庭車庫") domainEnglishFormat.kif 28476-28476
(termFormat ChineseLanguage HomeGarage "家庭车库") domainEnglishFormat.kif 28477-28477


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners