BusinessCenter - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - BusinessCenter

BusinessCenter(business center)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1651-1652
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1650-1650	Business center is a subclass of room

appearance as argument number 2

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

Hotel.kif 1653-1653

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1655-1668	If a physical is an instance of business center, then the physical has the purpose there exist an entity, another entity and a third entity such that business person is an attribute of the entity and the other entity is an instance of working and the third entity is an instance of object and the third entity is located at the physical and the entity is an agent of the other entity and the third entity is an instrument for the other entity or the third entity is a resource for the other entity or the third entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1670-1676	If an entity is an instance of business center, then the statement there exists another entity such that the other entity is an instance of computer and the other entity is located at the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1678-1684	If an entity is an instance of business center, then the statement there exists another entity such that the other entity is an instance of internet connection and the other entity is located at the entity has the modal force of likely

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