TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Sports.kif 1143-1144
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1142-1142	Bowling lane is a subclass of land transitway
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1141-1141	Bowling lane is a subclass of stationary artifact

appearance as argument number 2

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

Sports.kif 1145-1145

antecedent

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

Sports.kif 1147-1155

consequent

No TPTP formula. May not be expressible in strict first order.	Sports.kif 1108-1117	If a process is an instance of bowling, then there exist the processALL, a motion and an object such that the motion is an instance of translocation and the processALL is an instance of bowling ball and the processALL is a patient of the motion and the object is an instance of bowling lane and the object is path along which the motion occurs and the motion is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1163-1169	If an object is an instance of bowling facility, then there exists a collection such that the collection is an instance of collection and bowling lane is a member type of the collection and the collection is located at the object