TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3267-3268
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3270-3270	域 ASPFn, 1 and Collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3265-3265	例 ASPFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3272-3272	範圍 ASPFn and CurrencyMeasure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2826-2826
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2825-2825
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2824-2824
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3274-3274

antecedent

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

UXExperimentalTerms.kif 3276-3280

consequent

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

UXExperimentalTerms.kif 3282-3302