TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2166-2169
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2162-2162	userDatabase 的 1 数量是数据库的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2164-2164	userDatabase 的 2 数量是 WebSite 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2160-2160	userDatabase 是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4886-4886
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4885-4885
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4884-4884
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2171-2171

antecedent

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

UXExperimentalTerms.kif 2173-2191

consequent

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

UXExperimentalTerms.kif 865-871