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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HowlandIsland

Sigma KEE - HowlandIsland
HowlandIsland

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3791-3791 dependentGeopoliticalArea HowlandIsland and UnitedStates
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3792-3792
No TPTP formula. May not be expressible in strict first order. pictureList.kif 507-507
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 670-670 geographicSubregion HowlandIsland and Oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3888-3888 HowlandIsland est une instance de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 644-644 HowlandIsland est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order. Media.kif 2619-2619 HowlandIsland est un membre de UnitedStatesMinorOutlyingIslands

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4202-4202 HowlandIsland s'appele nom "Howland Island"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28791-28791
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28790-28790
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28789-28789


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