Restaurant - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Restaurant

Restaurant(餐廳)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7276-7277
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 692-692
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7275-7275	子類餐廳 and Business

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7668-7668	子類自助餐館 and 餐廳
No TPTP formula. May not be expressible in strict first order.	Dining.kif 83-83	子類 Steakhouse and 餐廳
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7678-7678	子類酒館 and 餐廳
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49772-49772
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49771-49771
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49770-49770

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20600-20622	attribute CognitiveAgent and Waiter 例 CognitiveAgent and Human 採用 AutonomousAgent and CognitiveAgent 例 AutonomousAgent and 餐廳 AutonomousAgent 是 CognitiveAgent 的 customer 位於 CognitiveAgent and Object 例 Object and 表 Object entity, entity and Object 擁有 AutonomousAgent and Object 例 Object and KitchenArea 例 Object and DiningArea 位於 Object and Object 有目的 CognitiveAgent and 例 entity and 攜帶 agent entity and CognitiveAgent 起源 entity and Object 目的地 entity and Object 患者 entity and entity 例 entity and food for Human
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1227-1246	例 AutonomousAgent and 餐廳例 Object and 飯廳 attribute Object and PrivateAttribute 擁有 AutonomousAgent and Object AutonomousAgent 是 CognitiveAgent 的 customer 例 Process and Eating agent Process and CognitiveAgent 例 CognitiveAgent and 一群人模態屬性 entity entity AutonomousAgent 是 entity 的 customer 等於 CognitiveAgent and entity 例 entity and Eating agent entity and entity 持有期間何時 Process and entity 是 located 在 Object and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7280-7290	例 AutonomousAgent and 餐廳 Process Entity and Object 例 Process and 商業服務 agent Process and AutonomousAgent 例 Process and Selling 例 Object and 餐廳建築 Process 是 located 在 Object 患者 Process and Entity 例 Entity and food for Human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7296-7301	例 AutonomousAgent and 餐廳 Object 擁有 AutonomousAgent and Object 例 Object and DiningArea

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3040-3044	AutonomousAgent believes Entity 是 Attribute 例 Attribute and RestaurantRating 例 Entity and 餐廳
No TPTP formula. May not be expressible in strict first order.	Dining.kif 749-754	例 Reservation and DiningReservation AutonomousAgent AutonomousAgent fulfills Reservation 例 AutonomousAgent and 餐廳
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26415-26423	例 Entity and DiningGuide Object Physical 例 Object and GeographicArea 參照 Entity and Object 例 Physical and 餐廳位於 Physical and Object 參照 Entity and Physical

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