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

Formal Language: 



KB Term:  Term intersection
English Word: 

  KingmanReef

 Sigma KEE - KingmanReef
KingmanReef(金曼礁)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3805-3805 金曼礁 是 美國 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3806-3806
No TPTP formula. May not be expressible in strict first order. pictureList.kif 538-538
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 673-673 金曼礁 是 大洋洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3895-3895 例 金曼礁 and 依賴或特殊主權領域
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 647-647 例 金曼礁 and LandArea
No TPTP formula. May not be expressible in strict first order. Media.kif 2621-2621 會員 金曼礁 and UnitedStatesMinorOutlyingIslands

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4205-4205 名 "Kingman Reef" and 金曼礁
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32575-32575
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32574-32574
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32573-32573


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