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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ActiveAgreement

Sigma KEE - ActiveAgreement
ActiveAgreement

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


(documentation ActiveAgreement EnglishLanguage "ActiveAgreement describes an Agreement that is still binding or is still in effect") Mid-level-ontology.kif 13548-13549
(instance ActiveAgreement RelationalAttribute) Mid-level-ontology.kif 13547-13547

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


(subAttribute Contract ActiveAgreement) Mid-level-ontology.kif 13572-13572
(termFormat EnglishLanguage ActiveAgreement "active agreement") Mid-level-ontology.kif 13550-13550

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


(=>
    (property ?AGREEMENT ActiveAgreement)
    (instance ?AGREEMENT Agreement))
Mid-level-ontology.kif 13552-13554
(=>
    (property ?AGREEMENT ActiveAgreement)
    (modalAttribute
        (exists (?PROC)
            (realization ?PROC ?AGREEMENT)) Obligation))
Mid-level-ontology.kif 13556-13560

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


(=>
    (agreementExpirationDate ?AGREEMENT ?ENDDATE)
    (holdsDuring
        (FutureFn ?ENDDATE)
        (not
            (property ?AGREEMENT ActiveAgreement))))
Mid-level-ontology.kif 13494-13497
(=>
    (and
        (agreementPeriod ?AGREEMENT ?DURATION)
        (agreementEffectiveDate ?AGREEMENT ?STARTDATE))
    (holdsDuring
        (TimePeriodFn ?STARTDATE ?DURATION)
        (property ?AGREEMENT ActiveAgreement)))
Mid-level-ontology.kif 13455-13460
(=>
    (and
        (holdsDuring ?Time
            (instance ?Card ExpiredCard))
        (cardAccount ?Card ?Account))
    (holdsDuring ?Time
        (not
            (attribute ?Card ActiveAgreement))))
FinancialOntology.kif 3493-3498
(=>
    (and
        (instance ?Kill CancellingAnOrder)
        (patient ?Kill ?Order))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?Kill))
        (not
            (attribute ?Order ActiveAgreement))))
FinancialOntology.kif 2796-2803


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