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


KB Term:  Term intersection
English Word: 

  forall

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