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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - recordForAgreement
recordForAgreement

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


(documentation recordForAgreement EnglishLanguage "This is a relation between a document or an action that records the propositional content of an Agreement. This could be a written document or a verbal promise as verbal promises are also legally binding under some legal systems. Note that this is a stronger relationship than refers or containsInformation since it entails that the record is the full content of the Proposition and that the Proposition must have the Attribute of being an Agreement, as opposed to some other Proposition.") Law.kif 493-500
(domain recordForAgreement 1 ContentBearingPhysical) Law.kif 501-501 Le nombre 1 argument de recordForAgreement est une instance de ContentBearingPhysical
(domain recordForAgreement 2 Agreement) Law.kif 502-502 Le nombre 2 argument de recordForAgreement est une instance de Agreement
(instance recordForAgreement BinaryPredicate) Law.kif 491-491 recordForAgreement est une instance de pr�dicat binaire

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


(format ChineseLanguage recordForAgreement "%1 是 %2 的 record ") domainEnglishFormat.kif 4350-4350
(format ChineseTraditionalLanguage recordForAgreement "%1 是 %2 的 record ") domainEnglishFormat.kif 4349-4349
(format EnglishLanguage recordForAgreement "%1 is the record of %2") domainEnglishFormat.kif 4348-4348
(termFormat EnglishLanguage recordForAgreement "record for agreement") domainEnglishFormat.kif 65919-65919

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


(=>
    (and
        (instance ?PROC IntentionalProcess)
        (result ?PROC ?DOC)
        (recordForAgreement ?DOC ?AG)
        (attribute ?AG Legal))
    (exists (?O ?A ?A1 ?A2)
        (and
            (instance ?O Offering)
            (instance ?A ReachingAgreement)
            (refers ?O ?AG)
            (refers ?A ?AG)
            (agent ?O ?A1)
            (agent ?A ?A2)
            (earlier
                (WhenFn ?O)
                (WhenFn ?A)))))
Law.kif 526-540
(=>
    (and
        (partyToAgreement ?A1 ?AG)
        (instance ?PROC IntentionalProcess)
        (located ?PROC ?LOC)
        (instance ?LOC GeopoliticalArea)
        (ageOfMajorityForProcess
            (MeasureFn ?N YearDuration) ?LOC ?PROC)
        (result ?PROC ?DOC)
        (recordForAgreement ?DOC ?AG)
        (attribute ?AG Legal))
    (holdsDuring
        (WhenFn ?PROC)
        (and
            (age ?A1
                (MeasureFn ?N2 YearDuration))
            (greaterThan ?N2 ?N))))
Law.kif 573-588
(=>
    (and
        (partyToAgreement ?A1 ?AG)
        (instance ?PROC IntentionalProcess)
        (located ?PROC ?LOC)
        (instance ?LOC Nation)
        (located ?PROC ?LOC2)
        (instance ?LOC2 GeopoliticalArea)
        (ageOfMajorityForProcess
            (MeasureFn ?N2 YearDuration) ?LOC ?PROC)
        (result ?PROC ?DOC)
        (recordForAgreement ?DOC ?AG)
        (holdsDuring
            (WhenFn ?PROC)
            (and
                (age ?A1
                    (MeasureFn ?N3 YearDuration))
                (greaterThan ?N3 ?N2))))
    (attribute ?AG Legal))
Law.kif 554-571
(=>
    (and
        (partyToAgreement ?A1 ?AG)
        (instance ?PROC IntentionalProcess)
        (result ?PROC ?DOC)
        (recordForAgreement ?DOC ?AG)
        (attribute ?AG Legal))
    (holdsDuring
        (WhenFn ?PROC)
        (attribute ?A1 Sober)))
Law.kif 515-524
(=>
    (recordForAgreement ?CBP ?A)
    (not
        (exists (?P)
            (and
                (not
                    (equal ?P ?A))
                (not
                    (abstractPart ?P ?A))
                (containsInformation ?CBP ?P)))))
Law.kif 504-513


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