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

Formal Language: 



KB Term:  Term intersection
English Word: 

  JohnstonAtoll

 Sigma KEE - JohnstonAtoll
JohnstonAtoll(johnston atoll)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3801-3801 Johnston atoll is a dependent of united states
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 Johnston atoll is a geographic subregion of oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3893-3893 Johnston atoll is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 646-646 Johnston atoll is an instance of land area
No TPTP formula. May not be expressible in strict first order. Media.kif 2625-2625 Johnston atoll is a member of United states minor outlying islands

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4204-4204 Johnston atoll has name "Johnston Atoll"
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