Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  CancellingAnOrder

Sigma KEE - CancellingAnOrder
CancellingAnOrder

appearance as argument number 1
-------------------------


(externalImage CancellingAnOrder "http://upload.wikimedia.org/wikipedia/ commons/ c/ ce/ Ordering_wine.jpg") pictureList.kif 9939-9939
(subclass CancellingAnOrder FinancialTransaction) FinancialOntology.kif 2754-2754

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage CancellingAnOrder "取消订单") domainEnglishFormat.kif 12865-12865
(termFormat ChineseTraditionalLanguage CancellingAnOrder "取消訂單") domainEnglishFormat.kif 12864-12864
(termFormat EnglishLanguage CancellingAnOrder "cancelling an order") domainEnglishFormat.kif 12863-12863

antecedent
-------------------------


(=>
    (and
        (instance ?Kill CancellingAnOrder)
        (patient ?Kill ?Order))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?Kill))
        (not
            (attribute ?Order ActiveAgreement))))
FinancialOntology.kif 2756-2763

consequent
-------------------------


(=>
    (and
        (attribute ?Order FOKOrder)
        (agreementPeriod ?Order ?Period))
    (or
        (exists (?Fill ?Time1)
            (and
                (instance ?Fill FillingAnOrder)
                (patient ?Fill ?Order)
                (equal
                    (WhenFn ?Fill) ?Time1)
                (starts ?Time1 ?Period)))
        (exists (?Kill ?Time2)
            (and
                (instance ?Kill CancellingAnOrder)
                (patient ?Kill ?Order)
                (equal
                    (WhenFn ?Kill) ?Time2)
                (starts ?Time2 ?Period)))))
FinancialOntology.kif 2802-2818
(=>
    (and
        (attribute ?Order GTCOrder)
        (agreementPeriod ?Order ?Period))
    (or
        (exists (?Execute)
            (and
                (instance ?Execute FillingAnOrder)
                (patient ?Execute ?Order)
                (equal
                    (WhenFn ?Execute) ?Time)
                (overlapsTemporally ?Time ?Period)))
        (exists (?Cancel)
            (and
                (instance ?Cancel CancellingAnOrder)
                (patient ?Cancel ?Order)
                (equal
                    (WhenFn ?Cancel) ?End)
                (finishes ?End ?Period)))))
FinancialOntology.kif 2838-2854
(=>
    (and
        (attribute ?Order IOCOrder)
        (agreementPeriod ?Order ?Period))
    (or
        (exists (?Fill ?Time1)
            (and
                (instance ?Fill FillingAnOrder)
                (patient ?Fill ?Order)
                (equal
                    (WhenFn ?Fill) ?Time1)
                (starts ?Time1 ?Period)))
        (exists (?Kill ?Time2)
            (and
                (instance ?Kill CancellingAnOrder)
                (patient ?Kill ?Order)
                (equal
                    (WhenFn ?Kill) ?Time2)
                (starts ?Time2 ?Period)))))
FinancialOntology.kif 2775-2791


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