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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SouthernHemisphere
SouthernHemisphere

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3477-3478
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1995-1995
No TPTP formula. May not be expressible in strict first order. Geography.kif 3476-3476 SouthernHemisphere e' uma instancia de Hemisphere

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3539-3539 geographicSubregion Antarctica and SouthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 239-239 geographicSubregion CentralSouthAmerica and SouthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4558-4558 geographicSubregion SouthAtlanticOcean and SouthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4617-4617 geographicSubregion SouthPacificOcean and SouthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 199-199 geographicSubregion SouthernAfrica and SouthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4655-4655 geographicSubregion SouthernOcean and SouthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 250-250 geographicSubregion SouthernSouthAmerica and SouthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3524-3524 Africa engloba SouthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3551-3551 Asia engloba SouthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 188-188 CentralAfrica engloba SouthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 192-192 EasternAfrica engloba SouthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 243-243 EasternSouthAmerica engloba SouthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 247-247 NorthernSouthAmerica engloba SouthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3557-3557 Oceania engloba SouthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3534-3534 SouthAmerica engloba SouthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 270-270 SoutheasternAsia engloba SouthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 266-266 SouthernAsia engloba SouthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3618-3618 Tropics engloba SouthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 204-204 WesternAfrica engloba SouthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 254-254 WesternSouthAmerica engloba SouthernHemisphere
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54218-54218
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54217-54217
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54216-54216

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 3488-3494 Entidade e' uma instancia de Hemisphere Entidade e' igual a NorthernHemisphere Entidade e' igual a SouthernHemisphere Entidade e' igual a EasternHemisphere Entidade e' igual a WesternHemisphere


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