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