TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1662-1663
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1661-1661	Hotel function room is a subclass of room

appearance as argument number 2

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

Hotel.kif 1664-1664

appearance as argument number 3

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

Hotel.kif 787-787

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1671-1679	If a physical is an instance of hotel function room and the physical is an element of belongings of an agent, then the physical has the purpose there exists an entity such that the entity is an instance of renting and the physical is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1666-1669	If an entity is an instance of hotel function room, then there exists an agent such that the entity is an element of belongings of the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1681-1687	If an entity is an instance of hotel function room, then the statement there exists another entity such that the other entity is an instance of formal meeting and the other entity is located at the entity has the modal force of possibility