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

Formal Language: 



KB Term:  Term intersection
English Word: 

  JohnstonAtoll

 Sigma KEE - JohnstonAtoll
JohnstonAtoll(約翰斯頓環礁)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3801-3801 約翰斯頓環礁 是 美國 的 dependent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3802-3802
No TPTP formula. May not be expressible in strict first order. pictureList.kif 530-530
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 672-672 約翰斯頓環礁 是 大洋洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3893-3893 例 約翰斯頓環礁 and 依賴或特殊主權領域
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 646-646 例 約翰斯頓環礁 and LandArea
No TPTP formula. May not be expressible in strict first order. Media.kif 2625-2625 會員 約翰斯頓環礁 and UnitedStatesMinorOutlyingIslands

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4204-4204 名 "Johnston Atoll" and 約翰斯頓環礁
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31657-31657
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31656-31656
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31655-31655


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