| 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 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 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 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 |
|
|
|
|
|