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	The number 1 argument of room stay is an instance of hotel package
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2738-2738	The number 2 argument of room stay is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2739-2739	The number 3 argument of room stay is a subclass of hotel unit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2731-2731	room stay is an instance of ternary predicate

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