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 499-506
(domain recordForAgreement 1 ContentBearingPhysical) Law.kif 507-507 recordForAgreement の数値 1 引数は ContentBearingPhysical の instance では
(domain recordForAgreement 2 Agreement) Law.kif 508-508 recordForAgreement の数値 2 引数は Agreement の instance では
(instance recordForAgreement BinaryPredicate) Law.kif 497-497 recordForAgreement は 2進述語 の instance では

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


(format ChineseLanguage recordForAgreement "%1 是 %2 的 record ") domainEnglishFormat.kif 4354-4354
(format ChineseTraditionalLanguage recordForAgreement "%1 是 %2 的 record ") domainEnglishFormat.kif 4353-4353
(format EnglishLanguage recordForAgreement "%1 is the record of %2") domainEnglishFormat.kif 4352-4352
(termFormat EnglishLanguage recordForAgreement "record for agreement") domainEnglishFormat.kif 65939-65939

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 532-546
(=>
    (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 579-594
(=>
    (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 560-577
(=>
    (and
        (partyToAgreement ?A1 ?AG)
        (instance ?PROC IntentionalProcess)
        (result ?PROC ?DOC)
        (recordForAgreement ?DOC ?AG)
        (attribute ?AG Legal))
    (holdsDuring
        (WhenFn ?PROC)
        (attribute ?A1 Sober)))		 Law.kif 521-530
(=>
    (recordForAgreement ?CBP ?A)
    (not
        (exists (?P)
            (and
                (not
                    (equal ?P ?A))
                (not
                    (abstractPart ?P ?A))
                (containsInformation ?CBP ?P)))))		 Law.kif 510-519


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