TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Media.kif 3135-3139
No TPTP formula. May not be expressible in strict first order.	Media.kif 3132-3132	域 sortingTitle, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Media.kif 3134-3134	域 sortingTitle, 3 and Language
No TPTP formula. May not be expressible in strict first order.	Media.kif 3133-3133	域子類 sortingTitle, 2 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Media.kif 3131-3131	例 sortingTitle and TernaryPredicate
No TPTP formula. May not be expressible in strict first order.	Media.kif 3140-3140	子關係 sortingTitle and titleInLanguage

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4582-4582
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4581-4581
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4580-4580
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65938-65938