TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3012-3013
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3014-3014	The number 1 argument of ratings agent is an instance of rating attribute
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3015-3015	The number 2 argument of ratings agent is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3011-3011	ratings agent is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4330-4330
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4329-4329
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4328-4328
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65918-65918

antecedent

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

Hotel.kif 3017-3024

consequent

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

Hotel.kif 3003-3008