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	The number 1 argument of display title is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order.	Media.kif 3145-3145	The number 3 argument of display title is an instance of language
No TPTP formula. May not be expressible in strict first order.	Media.kif 3144-3144	The number 2 argument of display title is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order.	Media.kif 3142-3142	display title is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order.	Media.kif 3151-3151	display title is a subrelation of title in language

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	abbreviated display title is a subrelation of display title
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65812-65812