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

No TPTP formula. May not be expressible in strict first order.	Dining.kif 572-574
No TPTP formula. May not be expressible in strict first order.	Dining.kif 571-571	Catering is a subclass of service

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Dining.kif 604-604	Food pickup is a subclass of catering
No TPTP formula. May not be expressible in strict first order.	Dining.kif 575-575

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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