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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ActiveAgreement
ActiveAgreement(active agreement)

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 10890-10891
(instance ActiveAgreement RelationalAttribute) Mid-level-ontology.kif 10889-10889 Active agreement is an instance of relational attribute

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


(subAttribute Contract ActiveAgreement) Mid-level-ontology.kif 10914-10914 Contract is a subattribute of active agreement
(termFormat EnglishLanguage ActiveAgreement "active agreement") Mid-level-ontology.kif 10892-10892

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


(=>
    (property ?AGREEMENT ActiveAgreement)
    (instance ?AGREEMENT Agreement))
Mid-level-ontology.kif 10894-10896
(=>
    (property ?AGREEMENT ActiveAgreement)
    (modalAttribute
        (exists (?PROC)
            (realization ?PROC ?AGREEMENT)) Obligation))
Mid-level-ontology.kif 10898-10902

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


(=>
    (agreementExpirationDate ?AGREEMENT ?ENDDATE)
    (holdsDuring
        (FutureFn ?ENDDATE)
        (not
            (property ?AGREEMENT ActiveAgreement))))
Mid-level-ontology.kif 10836-10839
(=>
    (and
        (agreementPeriod ?AGREEMENT ?DURATION)
        (agreementEffectiveDate ?AGREEMENT ?STARTDATE))
    (holdsDuring
        (TimePeriodFn ?STARTDATE ?DURATION)
        (property ?AGREEMENT ActiveAgreement)))
Mid-level-ontology.kif 10797-10802
(=>
    (and
        (holdsDuring ?Time
            (instance ?Card ExpiredCard))
        (cardAccount ?Card ?Account))
    (holdsDuring ?Time
        (not
            (attribute ?Card ActiveAgreement))))
FinancialOntology.kif 3469-3474
(=>
    (and
        (instance ?Kill CancellingAnOrder)
        (patient ?Kill ?Order))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?Kill))
        (not
            (attribute ?Order ActiveAgreement))))
FinancialOntology.kif 2775-2782


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