TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Catalog.kif 198-200
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 204-204	priceRange 的 2 数量是货币测量的 instance
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 205-205	priceRange 的 3 数量是货币测量的 instance
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 206-206	priceRange 的 4 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 203-203	priceRange 的 1 数量是实体的 subclass
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 197-197	priceRange 是四元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4214-4214
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4213-4213
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4212-4212
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 201-201