TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1303-1304
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1302-1302	product brand is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1301-1301	product brand is a subrelation of represents

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4234-4234
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4233-4233
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4232-4232
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1305-1305

antecedent

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

Hotel.kif 1307-1309

consequent

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

Hotel.kif 1286-1291