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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MidwayIslands

 Sigma KEE - MidwayIslands
MidwayIslands(中途島嶼)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3813-3813 中途島嶼 是 美國 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3814-3814
No TPTP formula. May not be expressible in strict first order. pictureList.kif 595-595
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 680-680 中途島嶼 是 大洋洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3899-3899 例 中途島嶼 and 依賴或特殊主權領域
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 648-648 例 中途島嶼 and LandArea
No TPTP formula. May not be expressible in strict first order. Media.kif 2626-2626 會員 中途島嶼 and UnitedStatesMinorOutlyingIslands

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4211-4211 名 "Midway Islands" and 中途島嶼
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37493-37493
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37492-37492
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37491-37491


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