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	O argumento numero 1 de currencyCode e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3615-3615	O argumento numero 2 de currencyCode e' uma instancia de UnitOfCurrency
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3613-3613	currencyCode e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3616-3616	currencyCode e' uma sub-relacao 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