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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NorthernSouthAmerica
NorthernSouthAmerica

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 173-173 geographicSubregion NorthernSouthAmerica and SouthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 245-245 geographicSubregion NorthernSouthAmerica and WesternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 97-97 NorthernSouthAmerica e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order. Geography.kif 246-246 NorthernSouthAmerica engloba NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 247-247 NorthernSouthAmerica engloba SouthernHemisphere

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 503-503 geographicSubregion Colombia and NorthernSouthAmerica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 505-505 geographicSubregion FrenchGuiana and NorthernSouthAmerica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 506-506 geographicSubregion Guyana and NorthernSouthAmerica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 508-508 geographicSubregion Suriname and NorthernSouthAmerica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 510-510 geographicSubregion Venezuela and NorthernSouthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 128-128 NorthernSouthAmerica se chama nome "Northern South America"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41153-41153
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41152-41152
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41151-41151


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