Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ActiveAgreement
ActiveAgreement(active agreement)

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


(instance ActiveAgreement RelationalAttribute) Mid-level-ontology.kif 15709-15709 Active agreement is an instance of relational attribute
(documentation ActiveAgreement EnglishLanguage "ActiveAgreement describes an Agreement that is still binding or is still in effect") Mid-level-ontology.kif 15710-15711 Active agreement is an instance of relational attribute

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


(termFormat EnglishLanguage ActiveAgreement "active agreement") Mid-level-ontology.kif 15712-15712

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


(=>
    (property ?AGREEMENT ActiveAgreement)
    (instance ?AGREEMENT Agreement))		 Mid-level-ontology.kif 15714-15716 If X the attribute active agreement, then X is an instance of agreement
(=>
    (property ?AGREEMENT ActiveAgreement)
    (modalAttribute
        (exists (?PROC)
            (realization ?PROC ?AGREEMENT)) Obligation))		 Mid-level-ontology.kif 15718-15722 If X the attribute active agreement, then the statement there exists Y such that Y expresses the content of X has the modal force of obligation

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


(=>
    (and
        (agreementPeriod ?AGREEMENT ?DURATION)
        (agreementEffectiveDate ?AGREEMENT ?STARTDATE))
    (holdsDuring
        (TimePeriodFn ?STARTDATE ?DURATION)
        (property ?AGREEMENT ActiveAgreement)))		 Mid-level-ontology.kif 15617-15622 If X is an agreement period of Y and Z is an agreement effective date of Y, then Y the attribute active agreement holds during a time that starts at Z and lasts for X
(=>
    (agreementExpirationDate ?AGREEMENT ?ENDDATE)
    (holdsDuring
        (FutureFn ?ENDDATE)
        (not
            (property ?AGREEMENT ActiveAgreement))))		 Mid-level-ontology.kif 15656-15659 If X has expiration Y, then X does not have the attribute active agreement holds during after Y
(=>
    (instance ?C Contract)
    (property ?C ActiveAgreement))		 Mid-level-ontology.kif 15742-15744 If X is an instance of contract, then X the attribute active agreement
(=>
    (and
        (instance ?Kill CancellingAnOrder)
        (patient ?Kill ?Order))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?Kill))
        (not
            (attribute ?Order ActiveAgreement))))		 FinancialOntology.kif 2854-2861 If X is an instance of cancelling an order and Y is a patient of X, then active agreement is not an attribute of Y holds during immediately after the time of existence of X
(=>
    (and
        (holdsDuring ?Time
            (instance ?Card ExpiredCard))
        (cardAccount ?Card ?Account))
    (holdsDuring ?Time
        (not
            (attribute ?Card ActiveAgreement))))		 FinancialOntology.kif 3587-3592 If X is an instance of expired card holds during Y and Z is a card account of X, then active agreement is not an attribute of X holds during Y


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners