TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2732-2734
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2737-2737	O argumento numero 1 de roomStay e' uma instancia de HotelPackage
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2738-2738	O argumento numero 2 de roomStay e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2739-2739	O argumento numero 3 de roomStay e' uma sub-classe de HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2731-2731	roomStay e' uma instancia de Predicado Ternario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4450-4450
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4449-4449
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4448-4448
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2735-2735

antecedent

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

Hotel.kif 2744-2757

consequent

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

Hotel.kif 2800-2803