TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Sports.kif 780-781
No TPTP formula. May not be expressible in strict first order.	Sports.kif 779-779	Tennis is a subclass of sport

appearance as argument number 2

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

Sports.kif 782-782

antecedent

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

Sports.kif 784-800

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1497-1510	If a cognitive agent employs another cognitive agent and traveler accommodation is an attribute of the cognitive agent and tennis pro is an attribute of the other cognitive agent and a third cognitive agent is a guest at the cognitive agent, then the statement there exist an entity and another entity such that the entity is an instance of tennis and the other cognitive agent participates in the entity and the third cognitive agent participates in the entity and the entity is located at the other entity and the cognitive agent is located at the other entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1305-1307	If tennis pro is an attribute of an agent, then the agent has the skill to do tennis
No TPTP formula. May not be expressible in strict first order.	Sports.kif 807-813	If a physical is an instance of tennis court, then the physical has the purpose there exists an entity such that the entity is an instance of tennis and the entity is located at 2