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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WakeIsland

 Sigma KEE - WakeIsland
WakeIsland(甦醒島)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3853-3853 甦醒島 是 美國 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3854-3854
No TPTP formula. May not be expressible in strict first order. pictureList.kif 830-830
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 704-704 甦醒島 是 大洋洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3920-3920 例 甦醒島 and 依賴或特殊主權領域
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 656-656 例 甦醒島 and LandArea
No TPTP formula. May not be expressible in strict first order. Media.kif 2623-2623 會員 甦醒島 and UnitedStatesMinorOutlyingIslands

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4229-4229 名 "Wake Island" and 甦醒島
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62079-62079
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62078-62078
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62077-62077


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