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 est une instance de continent
No TPTP formula. May not be expressible in strict first order. Geography.kif 91-91 NorthAmerica est une instance de secteur g�ographique
No TPTP formula. May not be expressible in strict first order. Geography.kif 279-279 NorthAmerica est EastAsia
No TPTP formula. May not be expressible in strict first order. Geography.kif 278-278 NorthAmerica est NorthSouthAmerica

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 s'appele nom "North America"
No TPTP formula. May not be expressible in strict first order. Geography.kif 282-282 Africa est SoutheastNorthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 290-290 CaribbeanRegion est SouthNorthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 277-277 Europe est EastNorthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 288-288 MiddleAmerica est SouthNorthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 284-284 Oceania est SouthwestNorthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 167-167 CaribbeanRegion recouvre NorthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 168-168 MiddleAmerica recouvre 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 Entit� est une instance de continent Africa est entit� NorthAmerica est entit� SouthAmerica est entit� Antarctica est entit� Europe est entit� Asia est entit� Oceania est entit�
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