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



KB Term:  Term intersection
English Word: 

  ListFn__7Fn__0En1Re2In3Re4In5Ra6In7InFn

Sigma KEE - LocalizablePlace
LocalizablePlace(localizable place)home_away_from_home, home_from_home

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


(subclass LocalizablePlace GeographicArea) Merge.kif 14349-14349 Localizable place is a subclass of geographic area

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


(subclass PostalPlace LocalizablePlace) Merge.kif 16070-16070 Postal place is a subclass of localizable place
(subclass PostcodeArea LocalizablePlace) Mid-level-ontology.kif 27052-27052 Postcode area is a subclass of localizable place
(termFormat EnglishLanguage LocalizablePlace "localizable place") domainEnglishFormat.kif 65131-65131 Postcode area is a subclass of localizable place


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