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

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


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

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


(=>
    (property ?AGREEMENT ActiveAgreement)
    (instance ?AGREEMENT Agreement))
Mid-level-ontology.kif 11722-11724
(=>
    (property ?AGREEMENT ActiveAgreement)
    (modalAttribute
        (exists (?PROC)
            (realization ?PROC ?AGREEMENT)) Obligation))
Mid-level-ontology.kif 11726-11730

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


(=>
    (agreementExpirationDate ?AGREEMENT ?ENDDATE)
    (holdsDuring
        (FutureFn ?ENDDATE)
        (not
            (property ?AGREEMENT ActiveAgreement))))
Mid-level-ontology.kif 11664-11667
(=>
    (and
        (agreementPeriod ?AGREEMENT ?DURATION)
        (agreementEffectiveDate ?AGREEMENT ?STARTDATE))
    (holdsDuring
        (TimePeriodFn ?STARTDATE ?DURATION)
        (property ?AGREEMENT ActiveAgreement)))
Mid-level-ontology.kif 11625-11630
(=>
    (and
        (holdsDuring ?Time
            (instance ?Card ExpiredCard))
        (cardAccount ?Card ?Account))
    (holdsDuring ?Time
        (not
            (attribute ?Card ActiveAgreement))))
FinancialOntology.kif 3427-3432
(=>
    (and
        (instance ?Kill CancellingAnOrder)
        (patient ?Kill ?Order))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?Kill))
        (not
            (attribute ?Order ActiveAgreement))))
FinancialOntology.kif 2756-2763


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners