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 East � Asia |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 278-278 | NorthAmerica est North � 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 s'appele nom "North America" |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 282-282 | Africa est Southeast � NorthAmerica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 290-290 | CaribbeanRegion est South � NorthAmerica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 277-277 | Europe est East � NorthAmerica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 288-288 | MiddleAmerica est South � NorthAmerica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 284-284 | Oceania est Southwest � NorthAmerica |
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 |
|