TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Media.kif 3146-3150
No TPTP formula. May not be expressible in strict first order.	Media.kif 3143-3143	域 displayTitle, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Media.kif 3145-3145	域 displayTitle, 3 and Language
No TPTP formula. May not be expressible in strict first order.	Media.kif 3144-3144	域子類 displayTitle, 2 and 內容承載物理
No TPTP formula. May not be expressible in strict first order.	Media.kif 3142-3142	例 displayTitle and TernaryPredicate
No TPTP formula. May not be expressible in strict first order.	Media.kif 3151-3151	子關係 displayTitle and titleInLanguage

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3274-3274
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3273-3273
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3272-3272
No TPTP formula. May not be expressible in strict first order.	Media.kif 3163-3163	子關係 abbreviatedDisplayTitle and displayTitle
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65812-65812