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

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	子類 CateringService and 服務

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Dining.kif 604-604	子類 FoodPickup and CateringService
No TPTP formula. May not be expressible in strict first order.	Dining.kif 575-575	子類 FoodPickup and CateringService

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 586-602	例 Process and CateringService agent Process and AutonomousAgent 目的地 Process and ProcessUST 位於 AutonomousAgent and Object AutonomousAgent 是 ProcessUST 的 customer Process Entity and Process 例 Process and Cooking agent Process and AutonomousAgent 結果 Process and Entity 患者 Process and Entity 例 Process and Eating agent Process and ProcessUST Process 是 located 在 Object 等於 Object and Object
No TPTP formula. May not be expressible in strict first order.	Dining.kif 579-584	例 Process and CateringService 例 Process and Process agent Process and AutonomousAgent 能力 Process, agent and AutonomousAgent

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