TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1526-1528
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1532-1532	viewedListing 的 1 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1534-1534	viewedListing 的 2 数量是 WebListing 的 instance
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1524-1524	viewedListing 是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4926-4926
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4925-4925
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4924-4924
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1530-1530

antecedent

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

UXExperimentalTerms.kif 1536-1544

consequent

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

UXExperimentalTerms.kif 1570-1581