|
|
  Europe
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 44-44 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 418-418 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3544-3544 | geographicSubregion Europe and NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 43-43 | Europe e' uma instancia de Continente |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 45-45 | Europe encontra Asia |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 275-275 | Europe e' North em relacao a Africa |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 276-276 | Europe e' West em relacao a Asia |
| 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 283-283 | Europe e' Northeast em relacao a SouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3545-3545 | Europe engloba EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3546-3546 | Europe engloba WesternHemisphere |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 156-156 | geographicSubregion CentralEurope and Europe |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 157-157 | geographicSubregion EasternEurope and Europe |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 158-158 | geographicSubregion NorthernEurope and Europe |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 161-161 | geographicSubregion SoutheasternEurope and Europe |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 159-159 | geographicSubregion SouthernEurope and Europe |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 162-162 | geographicSubregion SouthwesternEurope and Europe |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 160-160 | geographicSubregion WesternEurope and Europe |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20288-20288 | habitatOfOrganism Badger and Europe |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20303-20303 | habitatOfOrganism Bear and Europe |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30545-30545 | habitatOfOrganism Crocodile and Europe |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30527-30527 | habitatOfOrganism Reindeer and Europe |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3543-3543 | Europe se chama nome "Europe" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1242-1242 | Germany e' uma &parte de Europe |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1245-1245 | Greece e' uma &parte de Europe |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22534-22534 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22533-22533 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22532-22532 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3504-3513 | Entidade e' uma instancia de Continente Africa e' igual a Entidade NorthAmerica e' igual a Entidade SouthAmerica e' igual a Entidade Antarctica e' igual a Entidade Europe e' igual a Entidade Asia e' igual a Entidade Oceania e' igual a Entidade |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1725-1729 |
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 50-52 |
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 76-78 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6707-6711 |
|
|
|
