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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HowlandIsland

 Sigma KEE - HowlandIsland
HowlandIsland(Howland島)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3791-3791 Howland島 是 美國 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3792-3792
No TPTP formula. May not be expressible in strict first order. pictureList.kif 507-507
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 670-670 Howland島 是 大洋洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3888-3888 例 Howland島 and 依賴或特殊主權領域
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 644-644 例 Howland島 and LandArea
No TPTP formula. May not be expressible in strict first order. Media.kif 2619-2619 會員 Howland島 and UnitedStatesMinorOutlyingIslands

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4202-4202 名 "Howland Island" and Howland島
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28791-28791
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28790-28790
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28789-28789


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 is open source software produced by Articulate Software and its partners