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	Le nombre 1 argument de ratingsAgent est une instance de RatingAttribute
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3015-3015	Le nombre 2 argument de ratingsAgent est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3011-3011	ratingsAgent est une instance de pr�dicat binaire

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