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

Formal Language: 



KB Term:  Term intersection
English Word: 

  JarvisIsland

 Sigma KEE - JarvisIsland
JarvisIsland(賈維斯島)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3797-3797 賈維斯島 是 美國 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3798-3798
No TPTP formula. May not be expressible in strict first order. pictureList.kif 528-528
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 671-671 賈維斯島 是 大洋洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3891-3891 例 賈維斯島 and 依賴或特殊主權領域
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 645-645 例 賈維斯島 and LandArea
No TPTP formula. May not be expressible in strict first order. Media.kif 2620-2620 會員 賈維斯島 and UnitedStatesMinorOutlyingIslands

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4203-4203 名 "Jarvis Island" and 賈維斯島
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31525-31525
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31524-31524
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31523-31523


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