consequent

(=>     (and         (instance ?Transaction FinancialTransaction)         (destination ?Transaction ?Agent))     (and         (instance ?Service CommercialService)         (agent ?Service ?Agent)         (attribute ?Service OpenService)))	FinancialOntology.kif 3977-3984	If a process is an instance of financial transaction and the process ends up at an agent, then another process is an instance of commercial service and the agent is an agent of the other process and open service is an attribute of the other process
(=>     (attribute ?X MeanOfProduction)     (hasPurpose ?X         (or             (exists (?MAKE ?PRODUCT)                 (and                     (instance ?MAKE Making)                     (involvedInEvent ?MAKE ?X)                     (not                         (result ?MAKE ?X))                     (instance ?PRODUCT Artifact)                     (result ?MAKE ?PRODUCT)                     (hasPurpose ?PRODUCT                         (exists (?SELL)                             (and                                 (instance ?SELL Selling)                                 (patient ?SELL ?PRODUCT))))))             (exists (?SERVICE)                 (and                     (instance ?SERVICE CommercialService)                     (involvedInEvent ?SERVICE ?X))))))	Economy.kif 6089-6109	If mean of production is an attribute of an object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of making and the object is an involved in event of the entity and the object is not a result of the entity and the other entity is an instance of artifact and the other entity is a result of the entity and the other entity has the purpose there exists a third entity such that the third entity is an instance of selling and the other entity is a patient of the third entity or there exists a fourth entity such that the fourth entity is an instance of commercial service and the object is an involved in event of the fourth entity
(=>     (instance ?BAKERY Bakery)     (exists (?SERVICE ?FOOD ?BAKE)         (and             (instance ?BAKE Baking)             (result ?BAKE ?FOOD)             (instance ?FOOD                 (FoodForFn Human))             (agent ?BAKE ?BAKERY)             (instance ?SERVICE CommercialService)             (agent ?SERVICE ?BAKERY)             (instance ?SERVICE Selling)             (patient ?SERVICE ?FOOD))))	Dining.kif 70-81	If an agent is an instance of bakery, then there exist a process, an entity and another process such that the other process is an instance of baking and the entity is a result of the other process and the entity is an instance of food for human and the agent is an agent of the other process and the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of selling and the entity is a patient of the process
(=>     (instance ?C EntertainmentCompany)     (exists (?P)         (and             (instance ?P CommercialService)             (agent ?P ?C)             (instance ?P Performance))))	Mid-level-ontology.kif 8275-8281	If an agent is an instance of entertainment company, then there exists a process such that the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of performance
(=>     (instance ?C Publisher)     (exists (?S)         (and             (instance ?S CommercialService)             (agent ?S ?C)             (instance ?S Publication))))	Mid-level-ontology.kif 8414-8420	If an agent is an instance of publisher, then there exists a process such that the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of publication
(=>     (instance ?C Restaurant)     (exists (?S ?F ?B)         (and             (instance ?S CommercialService)             (agent ?S ?C)             (instance ?S Selling)             (instance ?B RestaurantBuilding)             (eventLocated ?S ?B)             (patient ?S ?F)             (instance ?F                 (FoodForFn Human)))))	Mid-level-ontology.kif 8438-8448	If an agent is an instance of restaurant, then there exist a process, an entity and an object such that the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of selling and the object is an instance of restaurant building and the process is located at the object and the entity is a patient of the process and the entity is an instance of food for human
(=>     (instance ?C TransportationCompany)     (exists (?S)         (and             (instance ?S CommercialService)             (agent ?S ?C)             (instance ?S Transportation))))	Mid-level-ontology.kif 8336-8342	If an agent is an instance of transportation company, then there exists a process such that the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of transportation
(=>     (instance ?COMPANY Coffeeshop)     (exists (?SERVICE ?BEVERAGE)         (and             (instance ?SERVICE CommercialService)             (agent ?SERVICE ?COMPANY)             (instance ?SERVICE Selling)             (patient ?SERVICE ?BEVERAGE)             (instance ?BEVERAGE Coffee))))	Dining.kif 36-44	If an agent is an instance of coffee shop, then there exist a process and an entity such that the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of selling and the entity is a patient of the process and the entity is an instance of coffee
(=>     (instance ?COMPANY RailroadCompany)     (exists (?SERVICE ?TRAIN)         (and             (instance ?SERVICE CommercialService)             (agent ?SERVICE ?COMPANY)             (instance ?SERVICE Transportation)             (instrument ?SERVICE ?TRAIN)             (instance ?TRAIN Train))))	Transportation.kif 4363-4371	If an agent is an instance of railroad company, then there exist a process and an object such that the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of transportation and the object is an instrument for the process and the object is an instance of train
(=>     (instance ?COMPANY Tavern)     (exists (?SERVICE ?BEVERAGE)         (and             (instance ?SERVICE CommercialService)             (agent ?SERVICE ?COMPANY)             (instance ?SERVICE Selling)             (patient ?SERVICE ?BEVERAGE)             (instance ?BEVERAGE AlcoholicBeverage))))	Mid-level-ontology.kif 8845-8853	If an agent is an instance of tavern, then there exist a process and an entity such that the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of selling and the entity is a patient of the process and the entity is an instance of alcoholic beverage
(=>     (instance ?ORG Manufacturer)     (hasPurpose ?ORG         (exists (?MANUFACTURE)             (and                 (instance ?MANUFACTURE Manufacture)                 (instance ?MANUFACTURE CommercialService)                 (agent ?MANUFACTURE ?ORG)))))	Merge.kif 16373-16380	If a physical is an instance of manufacturer, then the physical has the purpose there exists an entity such that the entity is an instance of manufacture and the entity is an instance of commercial service and the physical is an agent of the entity
(=>     (instance ?ORG MercantileOrganization)     (hasPurpose ?ORG         (exists (?SELL)             (and                 (instance ?SELL Selling)                 (instance ?SELL CommercialService)                 (agent ?SELL ?ORG)))))	Merge.kif 16386-16393	If a physical is an instance of mercantile organization, then the physical has the purpose there exists an entity such that the entity is an instance of selling and the entity is an instance of commercial service and the physical is an agent of the entity
(=>     (instance ?PUB Brewpub)     (exists (?SERVICE ?BEER ?BREW)         (and             (instance ?BREW Making)             (result ?BREW ?BEER)             (instance ?BEER Beer)             (agent ?BREW ?PUB)             (instance ?SERVICE CommercialService)             (agent ?SERVICE ?PUB)             (instance ?SERVICE Selling)             (patient ?SERVICE ?BEER))))	Dining.kif 51-62	If an agent is an instance of Brewpub, then there exist a process, an entity and another process such that the other process is an instance of making and the entity is a result of the other process and the entity is an instance of beer and the agent is an agent of the other process and the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of selling and the entity is a patient of the process
(=>     (instance ?STEAKHOUSE Steakhouse)     (exists (?SERVICE ?STEAK ?BEEF ?COOK)         (and             (instance ?COOK Cooking)             (instance ?BEEF Beef)             (resource ?COOK ?BEEF)             (result ?COOK ?STEAK)             (instance ?SERVICE CommercialService)             (agent ?SERVICE ?STEAKHOUSE)             (instance ?SERVICE Selling)             (patient ?SERVICE ?STEAK))))	Dining.kif 88-99	If an agent is an instance of steakhouse, then there exist a process, an entity,, , an object and another process such that the other process is an instance of cooking and the object is an instance of beef and the object is a resource for the other process and the entity is a result of the other process and the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of selling and the entity is a patient of the process

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

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