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 est une instance de continent |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 45-45 | Europe rencontre Asia |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 275-275 | Europe est North � Africa |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 276-276 | Europe est West � Asia |
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 283-283 | Europe est Northeast � SouthAmerica |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3545-3545 | Europe recouvre EasternHemisphere |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3546-3546 | Europe recouvre 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 20287-20287 | habitatOfOrganism Badger and Europe |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20302-20302 | habitatOfOrganism Bear and Europe |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30533-30533 | habitatOfOrganism Crocodile and Europe |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30515-30515 | habitatOfOrganism Reindeer and Europe |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3543-3543 | Europe s'appele nom "Europe" |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1242-1242 | Germany est une partie de Europe |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1245-1245 | Greece est une partie 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 | 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. | 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 |