| Europe
| |
| appearance as argument number 1 |
|
|
| (documentation Europe EnglishLanguage "The second smallest Continent.") | CountriesAndRegions.kif 44-44 | |
| (externalImage Europe "http://articulatesoftware.com/SUMOpictures/geography/ continents/ europe.png") | pictureList.kif 418-418 | |
| (geographicSubregion Europe NorthernHemisphere) | Geography.kif 3669-3669 | |
| (instance Europe Continent) | CountriesAndRegions.kif 43-43 | |
| (meetsSpatially Europe Asia) | CountriesAndRegions.kif 45-45 | |
| (orientation Europe Africa North) | Geography.kif 275-275 | |
| (orientation Europe Asia West) | Geography.kif 276-276 | |
| (orientation Europe NorthAmerica East) | Geography.kif 277-277 | |
| (orientation Europe SouthAmerica Northeast) | Geography.kif 283-283 | |
| (overlapsSpatially Europe EasternHemisphere) | Geography.kif 3670-3670 | |
| (overlapsSpatially Europe WesternHemisphere) | Geography.kif 3671-3671 |
| appearance as argument number 2 |
|
|
| (connects StraitOfGibraltar Europe Africa) | Geography.kif 5585-5585 | |
| (geographicSubregion CentralEurope Europe) | Geography.kif 156-156 | |
| (geographicSubregion EasternEurope Europe) | Geography.kif 157-157 | |
| (geographicSubregion MediterraneanRegion Europe) | Geography.kif 327-327 | |
| (geographicSubregion NorthernEurope Europe) | Geography.kif 158-158 | |
| (geographicSubregion SoutheasternEurope Europe) | Geography.kif 161-161 | |
| (geographicSubregion SouthernEurope Europe) | Geography.kif 159-159 | |
| (geographicSubregion SouthwesternEurope Europe) | Geography.kif 162-162 | |
| (geographicSubregion WesternEurope Europe) | Geography.kif 160-160 | |
| (habitatOfOrganism Badger Europe) | Mid-level-ontology.kif 21905-21905 | |
| (habitatOfOrganism Bear Europe) | Mid-level-ontology.kif 21920-21920 | |
| (habitatOfOrganism Crocodile Europe) | Mid-level-ontology.kif 32479-32479 | |
| (habitatOfOrganism Reindeer Europe) | Mid-level-ontology.kif 32461-32461 | |
| (names "Europe" Europe) | Geography.kif 3668-3668 | |
| (part Germany Europe) | CountriesAndRegions.kif 1242-1242 | |
| (part Greece Europe) | CountriesAndRegions.kif 1245-1245 | |
| (termFormat ChineseLanguage Europe "欧洲") | domainEnglishFormat.kif 22540-22540 | |
| (termFormat ChineseTraditionalLanguage Europe "歐洲") | domainEnglishFormat.kif 22539-22539 | |
| (termFormat EnglishLanguage Europe "europe") | domainEnglishFormat.kif 22538-22538 |
| consequent |
|
|
| (<=> (instance ?CONTINENT Continent) (or (equal Africa ?CONTINENT) (equal NorthAmerica ?CONTINENT) (equal SouthAmerica ?CONTINENT) (equal Antarctica ?CONTINENT) (equal Europe ?CONTINENT) (equal Asia ?CONTINENT) (equal Oceania ?CONTINENT))) |
Geography.kif 3629-3638 | |
| (=> (attribute ?MEAL ContinentalBreakfast) (or (equal ContinentalBreakfast (MealAttributeFn ?MEAL NorthAmerica)) (equal ContinentalBreakfast (MealAttributeFn ?MEAL Europe)))) |
Food.kif 1731-1735 | |
| (=> (instance ?CITY EuropeanCity) (part ?CITY Europe)) |
CountriesAndRegions.kif 50-52 | |
| (=> (instance ?N EuropeanNation) (part ?N Europe)) |
CountriesAndRegions.kif 76-78 | |
| (=> (instance ?PLAIN Steppe) (or (located ?PLAIN Europe) (located ?PLAIN Asia))) |
Geography.kif 7011-7015 |
|
|
|