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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EasternHemisphere
EasternHemisphere

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3481-3482
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1742-1742
No TPTP formula. May not be expressible in strict first order. Geography.kif 3480-3480 EasternHemisphere e' uma instancia de Hemisphere

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3525-3525 geographicSubregion Africa and EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3552-3552 geographicSubregion Asia and EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 186-186 geographicSubregion CentralAfrica and EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 256-256 geographicSubregion CentralAsia and EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 212-212 geographicSubregion CentralEurope and EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 190-190 geographicSubregion EasternAfrica and EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 259-259 geographicSubregion EasternAsia and EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 209-209 geographicSubregion EasternEurope and EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 206-206 geographicSubregion MiddleEastRegion and EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 262-262 geographicSubregion NorthernAsia and EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 215-215 geographicSubregion NorthernEurope and EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1676-1676 geographicSubregion NorthernSeaRoute and EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 268-268 geographicSubregion SoutheasternAsia and EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 225-225 geographicSubregion SoutheasternEurope and EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 198-198 geographicSubregion SouthernAfrica and EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 264-264 geographicSubregion SouthernAsia and EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 218-218 geographicSubregion SouthernEurope and EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 272-272 geographicSubregion SouthwesternAsia and EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3540-3540 Antarctica engloba EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3582-3582 ArcticRegion engloba EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3545-3545 Europe engloba EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 194-194 NorthernAfrica engloba EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3558-3558 Oceania engloba EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 228-228 SouthwesternEurope engloba EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3619-3619 Tropics engloba EasternHemisphere

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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