TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2957-2959
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2954-2954	The number 1 argument of route between is an instance of transitway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2955-2955	The number 2 argument of route between is an instance of region
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2956-2956	The number 3 argument of route between is an instance of region
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2953-2953	route between is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2183-2183
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2182-2182
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2181-2181
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50536-50536
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50535-50535
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50534-50534