| 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 20286-20286 | habitatOfOrganism Badger and NorthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20301-20301 | habitatOfOrganism Bear and NorthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30535-30535 | habitatOfOrganism Crocodile and NorthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20324-20324 | habitatOfOrganism Llama and NorthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30441-30441 | habitatOfOrganism Parrot and NorthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30517-30517 | habitatOfOrganism Reindeer and NorthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20333-20333 | 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 40959-40959 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40958-40958 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40957-40957 |
| 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 |
|
|
|
|