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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ClippertonIsland
ClippertonIsland

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3756-3756 dependentGeopoliticalArea ClippertonIsland and France
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3757-3757
No TPTP formula. May not be expressible in strict first order. pictureList.kif 349-349
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 473-473 geographicSubregion ClippertonIsland and MiddleAmerica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3870-3870 ClippertonIsland est une instance de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 469-469 ClippertonIsland est une instance de zone de terre

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4113-4113 ClippertonIsland s'appele nom "Clipperton Island"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15162-15162
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15161-15161
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15160-15160


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