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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NorthernHemisphere
NorthernHemisphere

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3473-3474
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1871-1871
No TPTP formula. May not be expressible in strict first order. Geography.kif 3472-3472 NorthernHemisphere e' uma instancia de Hemisphere

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4639-4639 geographicSubregion ArcticOcean and NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3581-3581 geographicSubregion ArcticRegion and NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 232-232 geographicSubregion CaribbeanRegion and NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 257-257 geographicSubregion CentralAsia and NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 213-213 geographicSubregion CentralEurope and NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 260-260 geographicSubregion EasternAsia and NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 210-210 geographicSubregion EasternEurope and NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3544-3544 geographicSubregion Europe and NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 235-235 geographicSubregion MiddleAmerica and NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3528-3528 geographicSubregion NorthAmerica and NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4545-4545 geographicSubregion NorthAtlanticOcean and NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4577-4577 geographicSubregion NorthPacificOcean and NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 196-196 geographicSubregion NorthernAfrica and NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 180-180 geographicSubregion NorthernAsia and NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 216-216 geographicSubregion NorthernEurope and NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 226-226 geographicSubregion SoutheasternEurope and NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 219-219 geographicSubregion SouthernEurope and NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 273-273 geographicSubregion SouthwesternAsia and NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 230-230 geographicSubregion SouthwesternEurope and NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 223-223 geographicSubregion WesternEurope and NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3523-3523 Africa engloba NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3550-3550 Asia engloba NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 187-187 CentralAfrica engloba NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 191-191 EasternAfrica engloba NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 242-242 EasternSouthAmerica engloba NorthernHemisphere

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