TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Dining.kif 356-358
No TPTP formula. May not be expressible in strict first order.	Dining.kif 360-360	businessHours 的 2 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Dining.kif 359-359	businessHours 的 1 数量是时距的 subclass
No TPTP formula. May not be expressible in strict first order.	Dining.kif 355-355	businessHours 是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2938-2938
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2937-2937
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2936-2936
No TPTP formula. May not be expressible in strict first order.	Dining.kif 364-364	standardRetailHours 是 businessHours 的 subrelation
No TPTP formula. May not be expressible in strict first order.	Dining.kif 361-361