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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WakeIsland
WakeIsland

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3853-3853 dependentGeopoliticalArea WakeIsland and UnitedStates
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3854-3854
No TPTP formula. May not be expressible in strict first order. pictureList.kif 830-830
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 704-704 geographicSubregion WakeIsland and Oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3920-3920 WakeIsland e' uma instancia de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 656-656 WakeIsland e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order. Media.kif 2623-2623 WakeIsland e' membro de UnitedStatesMinorOutlyingIslands

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4229-4229 WakeIsland se chama nome "Wake Island"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62079-62079
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62078-62078
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62077-62077


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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