TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 180-181
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 176-176	categoryOf 的 1 数量是 WebListingCategory 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 177-177	categoryOf 的 2 数量是 WebSite 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 175-175	categoryOf 是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2974-2974
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2973-2973
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2972-2972
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 178-178