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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnincorporatedUnitedStatesTerritory
UnincorporatedUnitedStatesTerritory(unincorporated united states territory)
more pictures...

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


(externalImage UnincorporatedUnitedStatesTerritory "http://upload.wikimedia.org/ wikipedia/ commons/ 2/ 2c/ GuamMap.png") pictureList.kif 12140-12140
(externalImage UnincorporatedUnitedStatesTerritory "http://upload.wikimedia.org/ wikipedia/ commons/ 3/ 3c/ US_insular_areas.png") pictureList.kif 12136-12136
(externalImage UnincorporatedUnitedStatesTerritory "http://upload.wikimedia.org/ wikipedia/ commons/ 5/ 5b/ United_States_1868-1876.png") pictureList.kif 10341-10341
(externalImage UnincorporatedUnitedStatesTerritory "http://upload.wikimedia.org/ wikipedia/ commons/ 8/ 83/ AmSamoa_Ofu_160.JPG") pictureList.kif 12137-12137
(externalImage UnincorporatedUnitedStatesTerritory "http://upload.wikimedia.org/ wikipedia/ commons/ a/ ae/ Apra_Harbor.jpg") pictureList.kif 12139-12139
(subclass UnincorporatedUnitedStatesTerritory OverseasArea) Government.kif 502-502 Unincorporated united states territory is a subclass of overseas area

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


(termFormat ChineseLanguage UnincorporatedUnitedStatesTerritory "非法人团结的美国领土") domainEnglishFormat.kif 59877-59877
(termFormat ChineseTraditionalLanguage UnincorporatedUnitedStatesTerritory "非法人團結的美國領土") domainEnglishFormat.kif 59876-59876
(termFormat EnglishLanguage UnincorporatedUnitedStatesTerritory "unincorporated united states territory") domainEnglishFormat.kif 59875-59875

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


(=>
    (instance ?AREA UnincorporatedUnitedStatesTerritory)
    (dependentAreaOfType ?AREA UnitedStates OverseasArea))
Government.kif 504-506


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners