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	O argumento numero 1 de ratingsAgent e' uma instancia de RatingAttribute
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3015-3015	O argumento numero 2 de ratingsAgent e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3011-3011	ratingsAgent e' uma instancia de Predicado Binario

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