TreeView Knowledge Base Browser - RestaurantBuilding

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

RestaurantBuilding

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 22003-22004
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1956-1956
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2336-2336
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22002-22002	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 49761-49761
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49760-49760
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49759-49759

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6957-6959	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 22006-22020	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 2

consequent

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

Mid-level-ontology.kif 6945-6955

If an agent is an instance of restaurant,
then there exist a process, an entity and another entity 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 other entity is an instance of restaurant building and the process is located at 2 and the entity is a patient of the process and the entity is an instance of food for human

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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