TreeView Knowledge Base Browser - agreementPeriod

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

agreementPeriod

Sigma KEE - agreementPeriod

agreementPeriod

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14012-14014
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14010-14010	O argumento numero 1 de agreementPeriod e' uma instancia de Agreement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14011-14011	O argumento numero 2 de agreementPeriod e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14009-14009	agreementPeriod e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 96-96
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 95-95
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 94-94
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5922-5922
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5921-5921
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5920-5920

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 642-646	agreementPeriod FinancialAccount and Intervalo Temporal Dia termina em Intervalo Temporal maturityDate FinancialAccount and Dia
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3920-3926	Intervalo Temporal Loan e' uma instancia de Loan agreementPeriod Loan and Intervalo Temporal interestEarned Loan, Interest and Intervalo Temporal loanInterest Loan and Interest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14016-14021	agreementPeriod Agreement and Intervalo Temporal agreementEffectiveDate Agreement and Ponto no tempo Agreement tem um atributo de ActiveAgreement vale durante TimePeriodFn Ponto no tempo and Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2881-2897	FOKOrder e' um atributo de Agreement agreementPeriod Agreement and Intervalo Temporal Processo Intervalo Temporal Processo e' uma instancia de FillingAnOrder Agreement e' um patient de Processo tempo de existencia de Processo e' igual a Intervalo Temporal Intervalo Temporal comeca em Intervalo Temporal Processo Intervalo Temporal Processo e' uma instancia de CancellingAnOrder Agreement e' um patient de Processo tempo de existencia de Processo e' igual a Intervalo Temporal Intervalo Temporal comeca em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2917-2933	GTCOrder e' um atributo de Agreement agreementPeriod Agreement and Intervalo Temporal Processo Intervalo Temporal Processo e' uma instancia de FillingAnOrder Agreement e' um patient de Processo tempo de existencia de Processo e' igual a Intervalo Temporal Intervalo Temporal engloba Intervalo Temporal Processo Intervalo Temporal Processo e' uma instancia de CancellingAnOrder Agreement e' um patient de Processo tempo de existencia de Processo e' igual a Intervalo Temporal Intervalo Temporal termina em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2854-2870	IOCOrder e' um atributo de Agreement agreementPeriod Agreement and Intervalo Temporal Processo Intervalo Temporal Processo e' uma instancia de FillingAnOrder Agreement e' um patient de Processo tempo de existencia de Processo e' igual a Intervalo Temporal Intervalo Temporal comeca em Intervalo Temporal Processo Intervalo Temporal Processo e' uma instancia de CancellingAnOrder Agreement e' um patient de Processo tempo de existencia de Processo e' igual a Intervalo Temporal Intervalo Temporal comeca em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1261-1271	borrower Loan and Agente Cognitivo lender Loan and Agente Cognitivo agreementPeriod Loan and Intervalo Temporal interestEarned Loan, Interest and Intervalo Temporal Transacao Financeira Transacao Financeira tem como origem Agente Cognitivo transactionAmount Transacao Financeira and Interest Transacao Financeira termina em Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1224-1233	FinancialAccount e' uma instancia de CreditAccount accountHolder FinancialAccount and Agente Cognitivo principalAmount FinancialAccount and Numero Real agreementPeriod FinancialAccount and Intervalo Temporal interestEarned FinancialAccount, Interest and Intervalo Temporal Numero Real e' igual a ( Numero Real + Interest) Agente Cognitivo e' obrigado a executar tarefas de tipo a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1273-1282	Loan e' uma instancia de Loan borrower Loan and Agente Cognitivo principalAmount Loan and Numero Real agreementPeriod Loan and Intervalo Temporal interestEarned Loan, Interest and Intervalo Temporal Numero Real e' igual a ( Numero Real + Interest) Agente Cognitivo e' obrigado a executar tarefas de tipo a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2333-2355	FinancialAsset e' uma instancia de ZeroCouponBond maturityDate AccountFn FinancialAsset and Dia FinancialAssetHolder possui FinancialAsset principalAmount AccountFn FinancialAsset and Numero Real Unidade de Medida(s) agreementPeriod AccountFn FinancialAsset and Intervalo Temporal interestEarned AccountFn FinancialAsset, Numero Real Unidade de Medida(s) and Intervalo Temporal Numero Real e' igual a ( Numero Real + Numero Real) Transacao Financeira Transacao Financeira e' uma instancia de Payment Transacao Financeira termina em FinancialAssetHolder Transacao Financeira tem como origem AccountFn FinancialAsset transactionAmount Transacao Financeira and Numero Real Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1497-1502	Agreement e' uma instancia de BankTermLoan agreementPeriod Agreement and Intervalo Temporal a duracao de Intervalo Temporal e' Numero Real YearDuration(s) Numero Real e' maior ou igual a 1
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1615-1624	FinancialAccount e' uma instancia de InterestOnlyLoan agreementPeriod FinancialAccount and Intervalo Temporal principalAmount FinancialAccount and Medida de Divisa interestEarned FinancialAccount, Interest and Intervalo Temporal amountDue FinancialAccount, Medida de Divisa and o fim de Intervalo Temporal amountDue FinancialAccount, Interest and Intervalo Temporal o fim de Intervalo Temporal comeca antes de o fim de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4162-4166	loanFeeAmount Loan and Interest agreementPeriod Loan and Intervalo Temporal interestEarned Loan, Interest and Intervalo Temporal

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 293-306	Processo e' uma instancia de OpeningAnAccount eventLocated Processo and FinancialOrganization FinancialOrganization e' uma instancia de FinancialOrganization Processo e' um agente de Agente Cognitivo tempo de existencia de Processo e' igual a ProcessoTime FinancialAccount FinancialAccountPeriod agreementPeriod FinancialAccount and FinancialAccountPeriod ProcessoTime encontra FinancialAccountPeriod FinancialAccount e' uma instancia de FinancialAccount accountAt FinancialAccount and FinancialOrganization accountHolder FinancialAccount and Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1579-1583	Agreement e' uma instancia de DayLoan agreementPeriod Agreement and Intervalo Temporal a duracao de Intervalo Temporal e' 1 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2574-2580	Agreement tem um atributo de ConventionalOption Numero Real Intervalo Temporal agreementPeriod Agreement and Intervalo Temporal a duracao de Intervalo Temporal e' Numero Real MonthDuration(s) Numero Real e' menos que 39
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2558-2564	Agreement tem um atributo de ConventionalOption Numero Real Intervalo Temporal agreementPeriod Agreement and Intervalo Temporal a duracao de Intervalo Temporal e' Numero Real MonthDuration(s) Numero Real e' menos que 9
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2940-2944	Agreement tem um atributo de DayOrder agreementPeriod Agreement and Intervalo Temporal a duracao de Intervalo Temporal e' 1 DayDuration(s)

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