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 4972-4981	An entity is an instance of continent if and only if equal africa and the entity or equal north america and the entity or equal south america and the entity or equal antarctica and the entity or equal europe and the entity or equal asia and the entity or equal oceania and the entity
(=>     (and         (attribute ?X DeepSeaCoastalAndGreatLakesWaterTransportation)         (instance ?X TransportationCompany))     (exists (?SERVICE ?PLACE)         (and             (instance ?SERVICE WaterTransportationService)             (serviceProvider ?SERVICE ?X)             (eventLocated ?SERVICE ?PLACE)             (instance ?PLACE WaterArea)             (located ?X NorthAmerica))))	naics.kif 8120-8130	If deep sea coastal and great lakes water transportation is an attribute of a cognitive agent and the cognitive agent is an instance of transportation company, then there exist a service and an object such that the service is an instance of Water Transportation Service and the cognitive agent provides a service during the service and the service is located at the object and the object is an instance of water area and the cognitive agent is located at north america
(=>     (attribute ?MEAL ContinentalBreakfast)     (or         (equal ContinentalBreakfast             (MealAttributeFn ?MEAL NorthAmerica))         (equal ContinentalBreakfast             (MealAttributeFn ?MEAL Europe))))	Food.kif 1731-1735	If continental breakfast is an attribute of a meal, then equal continental breakfast and the appropriate meal for the meal in north america or equal continental breakfast and the appropriate meal for the meal in europe

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 is open source software produced by Articulate Software and its partners