TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 989-990
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 981-981	域 SellersItemsFn, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 983-983	域 SellersItemsFn, 2 and WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 979-979	例 SellersItemsFn and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 985-985	範圍 SellersItemsFn and Collection

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4482-4482
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4481-4481
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4480-4480
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 987-987

antecedent

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

UXExperimentalTerms.kif 1033-1060

consequent

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

UXExperimentalTerms.kif 992-1008