TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3618-3621
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3614-3614	Le nombre 1 argument de currencyCode est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3615-3615	Le nombre 2 argument de currencyCode est une instance de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3613-3613	currencyCode est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3616-3616	currencyCode est une sous-relation de abbreviation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 592-592
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 591-591
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 590-590
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18060-18060
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18059-18059
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18058-18058

antecedent

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

Media.kif 2320-2322

consequent

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

Media.kif 2316-2318