consequent

(=>     (instance ?CITY EuropeanCity)     (part ?CITY Europe))	CountriesAndRegions.kif 50-52	If X is an instance of european city, then X is a part of europe
(=>     (instance ?N EuropeanNation)     (part ?N Europe))	CountriesAndRegions.kif 76-78	If X is an instance of european nation, then X is a part of europe
(=>     (attribute ?MEAL ContinentalBreakfast)     (or         (equal ContinentalBreakfast             (MealAttributeFn ?MEAL NorthAmerica))         (equal ContinentalBreakfast             (MealAttributeFn ?MEAL Europe))))	Food.kif 1738-1742	If continental breakfast is an attribute of X, then equal continental breakfast and the appropriate meal for X in north america or equal continental breakfast and the appropriate meal for X in europe
(<=>     (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 4900-4909	All of the following hold: (1) X is an instance of continent if (2) only if equal africa (3) X or equal north america (4) X or equal south america (5) X or equal antarctica (6) X or equal europe (7) X or equal asia (8) X or equal oceania (9) X
(=>     (instance ?PLAIN Steppe)     (or         (located ?PLAIN Europe)         (located ?PLAIN Asia)))	Geography.kif 8371-8375	If X is an instance of steppe, then X is located at europe or X is located at asia

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

---

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners