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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ClippertonIsland

Sigma KEE - ClippertonIsland
ClippertonIsland(clipperton island)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3756-3756 Clipperton island is a dependent of 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 Clipperton island is a geographic subregion of middle america
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3870-3870 Clipperton island is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 469-469 Clipperton island is an instance of land area

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4113-4113 Clipperton island has name "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 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