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 14109-14110
(instance ActiveAgreement RelationalAttribute) Mid-level-ontology.kif 14108-14108 ActiveAgreement est une instance de attribut relationnel

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


(subAttribute Contract ActiveAgreement) Mid-level-ontology.kif 14133-14133 Contract est un sous-attribut de ActiveAgreement
(termFormat EnglishLanguage ActiveAgreement "active agreement") Mid-level-ontology.kif 14111-14111

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


(=>
    (property ?AGREEMENT ActiveAgreement)
    (instance ?AGREEMENT Agreement))
Mid-level-ontology.kif 14113-14115
(=>
    (property ?AGREEMENT ActiveAgreement)
    (modalAttribute
        (exists (?PROC)
            (realization ?PROC ?AGREEMENT)) Obligation))
Mid-level-ontology.kif 14117-14121

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


(=>
    (agreementExpirationDate ?AGREEMENT ?ENDDATE)
    (holdsDuring
        (FutureFn ?ENDDATE)
        (not
            (property ?AGREEMENT ActiveAgreement))))
Mid-level-ontology.kif 14055-14058
(=>
    (and
        (agreementPeriod ?AGREEMENT ?DURATION)
        (agreementEffectiveDate ?AGREEMENT ?STARTDATE))
    (holdsDuring
        (TimePeriodFn ?STARTDATE ?DURATION)
        (property ?AGREEMENT ActiveAgreement)))
Mid-level-ontology.kif 14016-14021
(=>
    (and
        (holdsDuring ?Time
            (instance ?Card ExpiredCard))
        (cardAccount ?Card ?Account))
    (holdsDuring ?Time
        (not
            (attribute ?Card ActiveAgreement))))
FinancialOntology.kif 3529-3534
(=>
    (and
        (instance ?Kill CancellingAnOrder)
        (patient ?Kill ?Order))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?Kill))
        (not
            (attribute ?Order ActiveAgreement))))
FinancialOntology.kif 2835-2842


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