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	Le nombre 1 argument de displayTitle est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Media.kif 3145-3145	Le nombre 3 argument de displayTitle est une instance de langage
No TPTP formula. May not be expressible in strict first order.	Media.kif 3144-3144	Le nombre 2 argument de displayTitle est une sous-classe de ContentBearingPhysical
No TPTP formula. May not be expressible in strict first order.	Media.kif 3142-3142	displayTitle est une instance de pr�dicat ternaire
No TPTP formula. May not be expressible in strict first order.	Media.kif 3151-3151	displayTitle est une sous-relation de 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 est une sous-relation de displayTitle
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65812-65812