CancellingAnOrder - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CancellingAnOrder

CancellingAnOrder

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9921-9921
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2833-2833	CancellingAnOrder e' uma sub-classe de Transacao Financeira

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12925-12925
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12924-12924
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12923-12923

antecedent

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

FinancialOntology.kif 2835-2842

Processo e' uma instancia de CancellingAnOrder Entidade e' um patient de Processo
ActiveAgreement e' um atributo de Entidade vale durante imediatemente apos tempo de existencia de Processo

consequent

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

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

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