TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2984-2985
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2988-2988	The number 1 argument of rate detail is an instance of reservation
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2989-2989	The number 2 argument of rate detail is an instance of formula
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2983-2983	rate detail is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4326-4326
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4325-4325
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4324-4324
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2986-2986