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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NorthAmerica
NorthAmerica

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 630-630
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 3529-3529 geographicSubregion NorthAmerica and WesternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3527-3527 NorthAmerica e' uma instancia de Continente
No TPTP formula. May not be expressible in strict first order. Geography.kif 91-91 NorthAmerica e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order. Geography.kif 279-279 NorthAmerica e' East em relacao a Asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 278-278 NorthAmerica e' North em relacao a SouthAmerica

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 404-404 geographicSubregion Bermuda and NorthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 164-164 geographicSubregion NorthernNorthAmerica and NorthAmerica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 405-405 geographicSubregion UnitedStates and NorthAmerica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20314-20314 habitatOfOrganism Badger and NorthAmerica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20329-20329 habitatOfOrganism Bear and NorthAmerica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30571-30571 habitatOfOrganism Crocodile and NorthAmerica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20352-20352 habitatOfOrganism Llama and NorthAmerica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30477-30477 habitatOfOrganism Parrot and NorthAmerica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30553-30553 habitatOfOrganism Reindeer and NorthAmerica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20361-20361 habitatOfOrganism Skunk and NorthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 121-121 NorthAmerica se chama nome "North America"
No TPTP formula. May not be expressible in strict first order. Geography.kif 282-282 Africa e' Southeast em relacao a NorthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 290-290 CaribbeanRegion e' South em relacao a NorthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 277-277 Europe e' East em relacao a NorthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 288-288 MiddleAmerica e' South em relacao a NorthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 284-284 Oceania e' Southwest em relacao a NorthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 167-167 CaribbeanRegion engloba NorthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 168-168 MiddleAmerica engloba NorthAmerica
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40961-40961
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40960-40960
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40959-40959

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 349-357

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3504-3513 Entidade e' uma instancia de Continente Africa e' igual a Entidade NorthAmerica e' igual a Entidade SouthAmerica e' igual a Entidade Antarctica e' igual a Entidade Europe e' igual a Entidade Asia e' igual a Entidade Oceania e' igual a Entidade
No TPTP formula. May not be expressible in strict first order. naics.kif 8120-8130
No TPTP formula. May not be expressible in strict first order. Food.kif 1725-1729


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