TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3162-3163
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3158-3158	域 GPIFn, 1 and 試驗
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3160-3160	域 GPIFn, 2 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3156-3156	例 GPIFn and BinaryFunction

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3530-3530
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3529-3529
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3528-3528
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3165-3165