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	Le nombre 1 argument de roomStay est une instance de HotelPackage
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2738-2738	Le nombre 2 argument de roomStay est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2739-2739	Le nombre 3 argument de roomStay est une sous-classe de HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2731-2731	roomStay est une instance de pr�dicat ternaire

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