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

KB Term:  Term intersection
English Word: 

Sigma KEE - agreementEffectiveDuring
agreementEffectiveDuring

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


(instance agreementEffectiveDuring BinaryPredicate) Government.kif 728-728 agreement effective during is an instance of binary predicate
(instance agreementEffectiveDuring PartialValuedRelation) Government.kif 729-729 agreement effective during is an instance of partial valued relation
(domain agreementEffectiveDuring 1 Proposition) Government.kif 730-730 The number 1 argument of agreement effective during is an instance of proposition
(domainSubclass agreementEffectiveDuring 2 TimePosition) Government.kif 731-731 The number 2 argument of agreement effective during is a subclass of time position
(documentation agreementEffectiveDuring EnglishLanguage "(agreementEffectiveDuring ?AGR ?DATE) means that the agreement ?AGR is effective during the time indicated by ?DATE. The agreement may be effective for longer than ?DATE, but it is in effect at least throughout the time indicated by ?DATE.") Government.kif 733-736 The number 2 argument of agreement effective during is a subclass of time position

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


(format EnglishLanguage agreementEffectiveDuring "%2 is %n an agreement effective during of %1") domainEnglishFormat.kif 86-86
(format ChineseTraditionalLanguage agreementEffectiveDuring "%2 %n 是 %1 的 agreement 生效其間") domainEnglishFormat.kif 87-87
(format ChineseLanguage agreementEffectiveDuring "%2 %n 是 %1 的 agreement 生效其间") domainEnglishFormat.kif 88-88
(termFormat EnglishLanguage agreementEffectiveDuring "agreement effective during") domainEnglishFormat.kif 5917-5917
(termFormat ChineseTraditionalLanguage agreementEffectiveDuring "協議有效期間") domainEnglishFormat.kif 5918-5918
(termFormat ChineseLanguage agreementEffectiveDuring "协议有效期间") domainEnglishFormat.kif 5919-5919

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


(=>
    (and
        (agreementEffectiveDuring ?AGR ?DATE)
        (instance ?TIME ?DATE)
        (containsFormula ?AGR ?FORMULA))
    (holdsDuring ?TIME ?FORMULA))		 Government.kif 738-743 If X is an agreement effective during of Y, Z is an instance of X, and Y contains the formula W, then W holds during Z
(=>
    (and
        (instance ?CONST
            (ConstitutionFn ?COUNTRY))
        (instance ?COUNTRY Nation)
        (equal ?GOV
            (GovernmentFn ?COUNTRY))
        (instance
            (WhenFn ?GOV) ?CLASS)
        (agreementEffectiveDuring ?CONST ?CLASS)
        (subProposition ?PART ?CONST)
        (containsFormula ?PART ?FORMULA))
    (holdsObligation ?GOV ?FORMULA))		 Government.kif 745-754 If All of the following hold: (1) X is an instance of the constitution of Y (2) Y is an instance of nation (3) equal Z and the government of Y (4) the time of existence of Z is an instance of W (5) W is an agreement effective during of X (6) V is a sub-proposition of X (7) V contains the formula U, then Z is obliged to perform tasks of type U


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