TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3573-3574
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15651-15652
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 326-326
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3837-3837
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3840-3840
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3585-3585	O conceito Currency e' completamente decomposto em CurrencyBill + CurrencyCoin
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15650-15650	Currency e' uma sub-classe de FinancialInstrument

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3584-3584	CurrencyBill e' uma sub-classe de Currency
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3596-3596	CurrencyCoin e' uma sub-classe de Currency
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18048-18048
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18047-18047
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18046-18046

appearance as argument number 3

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

Economy.kif 3602-3602

O argumento numero 1 de currencyValue e' uma sub-classe de Currency

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3838-3852	Transacao Financeira e' uma instancia de Transacao Financeira Transacao Financeira tem como origem CurrencyFn FinancialAccount transactionAmount Transacao Financeira and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfCurrency Entidade e' uma instancia de Currency Entidade e' um patient de Transacao Financeira a data de Transacao Financeira e' Dia Numero Real availableCash FinancialAccount, Dia and Numero Real Unidade de Medida(s) Numero Real e' maior ou igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1986-1995	Transferencia e' uma instancia de Vending objectTransferred Transferencia and Objeto Objeto e' uma instancia de Currency o argumento Objeto e' uma instancia de FoodForFn Humano Objeto e' uma instancia de Bebida tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15654-15657	Fisico e' uma instancia de Currency Medida de Divisa o valor de Fisico e' Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3481-3484	Fisico e' uma instancia de Currency Medida de Divisa o valor de Fisico e' Medida de Divisa

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11702-11707	Processo e' uma instancia de Funding Entidade Entidade e' uma instancia de Currency Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Dining.kif 457-462	Processo e' uma instancia de CashPayment Objeto Objeto e' um instrumento para Processo Objeto e' uma instancia de Currency
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1974-1984	Fisico e' uma instancia de VendingMachine Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Transacao Financeira Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Currency Entidade e' um patient de Entidade Entidade e' uma instancia de Produto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1959-1972	Fisico e' uma instancia de VendingMachine Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Vending Entidade e' uma instancia de Humano Entidade e' uma instancia de Objeto objectTransferred Entidade and Entidade Fisico e' um instrumento para Entidade Entidade tem como origem Fisico Entidade e' uma instancia de Currency Entidade termina em Entidade