MakuLanguage
|
|
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 3544-3544 | geographicSubregion Europe and NorthernHemisphere |
(instance Europe Continent) | CountriesAndRegions.kif 43-43 | Europe ist ein fall von Continent %n{nicht} |
(meetsSpatially Europe Asia) | CountriesAndRegions.kif 45-45 | Europe schliesst Asia raeumlich an |
(orientation Europe Africa North) | Geography.kif 275-275 | Europe ist North hinsichlich Africa %n{nicht} |
(orientation Europe Asia West) | Geography.kif 276-276 | Europe ist West hinsichlich Asia %n{nicht} |
(orientation Europe NorthAmerica East) | Geography.kif 277-277 | Europe ist East hinsichlich NorthAmerica %n{nicht} |
(orientation Europe SouthAmerica Northeast) | Geography.kif 283-283 | Europe ist Northeast hinsichlich SouthAmerica %n{nicht} |
(overlapsSpatially Europe EasternHemisphere) | Geography.kif 3545-3545 | Europe deckt sich mit EasternHemisphere raeumlich %n{nicht} |
(overlapsSpatially Europe WesternHemisphere) | Geography.kif 3546-3546 | Europe deckt sich mit WesternHemisphere raeumlich %n{nicht} |
appearance as argument number 2 |
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 3504-3513 | Entity ist ein fall von Continent %n{nicht} genau dann wenn Africa ist gleich ** Entity %n{nicht} oder NorthAmerica ist gleich ** Entity %n{nicht} oder SouthAmerica ist gleich ** Entity %n{nicht} oder Antarctica ist gleich ** Entity %n{nicht} oder Europe ist gleich ** Entity %n{nicht} oder Asia ist gleich ** Entity %n{nicht} oder Oceania ist gleich ** Entity %n{nicht} |
(=> (attribute ?MEAL ContinentalBreakfast) (or (equal ContinentalBreakfast (MealAttributeFn ?MEAL NorthAmerica)) (equal ContinentalBreakfast (MealAttributeFn ?MEAL Europe)))) |
Food.kif 1725-1729 |
|
(=> (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 6707-6711 |
|