RestaurantBuilding - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - RestaurantBuilding

RestaurantBuilding(restaurant building)

diner, eatery, eating_house, eating_place, restaurant, rotisserie

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22557-22558
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1955-1955
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2335-2335
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22556-22556	Restaurant building is a subclass of building

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49778-49778
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49777-49777
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49776-49776

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7293-7295	If an object is an instance of restaurant building, then the object is capable of doing cooking as a event located
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22560-22574	If a physical is an instance of restaurant building, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and the fourth entityAY such that the entity employs the other entity and the entity possesses the physical and the fourth entity is an instance of human and the fourth entityAY is an instance of financial transaction and the fourth entity is an agent of the fourth entityAY and the other entity is a patient of the fourth entityAY and the third entity allows the fourth entity to perform task of the type the other entity and the third entity is an instance of eating and the fourth entity is an agent of the third entity and the third entity is located at the physical

consequent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 7281-7291

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

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