TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2820-2822
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2824-2824	conversionEvent 的 1 数量是试验的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2826-2826	conversionEvent 的 2 数量是过程的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2816-2816	conversionEvent 是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3122-3122
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3121-3121
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3120-3120
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2818-2818