TreeView Knowledge Base Browser - Repayment

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Repayment

Repayment

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1868-1870
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1864-1864	Repayment e' uma sub-classe de Payment

appearance as argument number 2

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

UXExperimentalTerms.kif 1866-1866

antecedent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1883-1900	Processo e' uma instancia de Repayment Processo_DESTINATION e' uma instancia de Objeto Processo termina em Processo_DESTINATION Processo_ORIGIN e' uma instancia de Objeto Processo tem como origem Processo_ORIGIN Processo Processo_ORIGIN and Processo_DESTINATION Processo e' uma instancia de Payment Processo_ORIGIN e' uma instancia de Objeto Processo_DESTINATION e' uma instancia de Objeto Processo e' igual a Processo Processo termina em Processo_DESTINATION Processo tem como origem Processo_ORIGIN Processo_ORIGIN e' igual a Processo_DESTINATION Processo_DESTINATION e' igual a Processo_ORIGIN
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1872-1881	Transacao Financeira e' uma instancia de Repayment Classe Classe_AMOUNT and Transacao Financeira_AMOUNT Classe e' uma instancia de Classe Classe e' igual a Transacao Financeira transactionAmount Classe and Classe_AMOUNT transactionAmount Transacao Financeira and Transacao Financeira_AMOUNT Classe_AMOUNT e' igual a Transacao Financeira_AMOUNT

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners