CateringService - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - CateringService

CateringService(catering)

appearance as argument number 1

(documentation CateringService EnglishLanguage "CateringService refers to the ServiceProcess of an AutonomousAgent to prepare food and beverage for consumption in a location away from where the agent is located")	Dining.kif 572-574
(subclass CateringService ServiceProcess)	Dining.kif 571-571	Catering is a subclass of service

appearance as argument number 2

(subclass FoodPickup CateringService)	Dining.kif 604-604	Food pickup is a subclass of catering
(termFormat EnglishLanguage CateringService "catering")	Dining.kif 575-575	Food pickup is a subclass of catering

antecedent

(=> (and (instance ?C CateringService) (agent ?C ?AGENT) (destination ?C ?CUST) (located ?AGENT ?LOC1) (customer ?CUST ?AGENT) (exists (?S ?FOOD ?E) (and (instance ?S Cooking) (agent ?S ?AGENT) (result ?S ?FOOD) (patient ?C ?FOOD) (instance ?E Eating) (agent ?E ?CUST) (eventLocated ?E ?LOC2)))) (not (equal ?LOC1 ?LOC2)))	Dining.kif 586-602	If a process is an instance of catering and an agent is an agent of the process and the process ends up at the processUST and the agent is located at an object and the agent is a customer of the processUST and there exist another process, an entity and a third process such that the other process is an instance of cooking and the agent is an agent of the other process and the entity is a result of the other process and the entity is a patient of the process and the third process is an instance of eating and the processUST is an agent of the third process and the third process is located at another object, then the object is not equal to the other object
(=> (and (instance ?P CateringService) (instance ?P ?CLASS) (agent ?P ?REST)) (capability ?CLASS agent ?REST))	Dining.kif 579-584	If a process is an instance of catering and the process is an instance of another kind of process and an agent is an agent of the process, then the agent is capable of doing another kind of process as a agent

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