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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - agreementClause
agreementClause

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


(documentation agreementClause EnglishLanguage "(agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT) means that Proposition ?PROP, which has modalAttribute ?ATTR, is part of Agreement ?AGREEMENT and, with CognitiveAgent ?AGENT being the one responsible to make the statement true") Mid-level-ontology.kif 11669-11672
(domain agreementClause 1 Proposition) Mid-level-ontology.kif 11675-11675 domain agreementClause, 1 and Proposition
(domain agreementClause 2 DeonticAttribute) Mid-level-ontology.kif 11676-11676 domain agreementClause, 2 and DeonticAttribute
(domain agreementClause 3 Agreement) Mid-level-ontology.kif 11677-11677 domain agreementClause, 3 and Agreement
(domain agreementClause 4 CognitiveAgent) Mid-level-ontology.kif 11678-11678 domain agreementClause, 4 and CognitiveAgent
(instance agreementClause QuaternaryPredicate) Mid-level-ontology.kif 11668-11668 instance agreementClause and QuaternaryPredicate

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


(format ChineseLanguage agreementClause "%4 有义务去做在 %3 的 %1 %2") domainEnglishFormat.kif 2723-2723
(format ChineseTraditionalLanguage agreementClause "%4 有義務去做在 %3 的 %1 %2 ") domainEnglishFormat.kif 2722-2722
(format EnglishLanguage agreementClause "%4 has the responsibility to make %1 %2 in %3") domainEnglishFormat.kif 2721-2721
(termFormat EnglishLanguage agreementClause "agreement clause") Mid-level-ontology.kif 11673-11673 termFormat EnglishLanguage, agreementClause and "agreement clause"

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


(=>
    (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT)
    (and
        (exists (?CLAUSE)
            (containsInformation ?CLAUSE ?PROP))
        (partyToAgreement ?AGENT ?AGREEMENT)))
Mid-level-ontology.kif 11680-11685
(=>
    (agreementClause ?PROP Permission ?AGREEMENT ?AGENT)
    (holdsRight
        (exists (?PROC)
            (and
                (realization ?PROC ?PROP)
                (agent ?PROC ?AGENT))) ?AGENT))
Mid-level-ontology.kif 11708-11714
(=>
    (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT)
    (not
        (holdsRight
            (exists (?PROC)
                (and
                    (realization ?PROC ?PROP)
                    (agent ?PROC ?AGENT))) ?AGENT)))
Mid-level-ontology.kif 11699-11706
(=>
    (and
        (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT)
        (or
            (equal ?ATTR Obligation)
            (equal ?ATTR Promise)))
    (modalAttribute
        (exists (?PROC)
            (and
                (realization ?PROC ?PROP)
                (agent ?PROC ?AGENT))) Likely))
Mid-level-ontology.kif 11687-11697

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


(=>
    (and
        (negotiatedPrice ?ENT ?PRICE ?AGREE)
        (partyToAgreement ?SELLER ?AGREE)
        (partyToAgreement ?BUYER ?AGREE))
    (exists (?B)
        (agreementClause
            (=>
                (and
                    (instance ?B Buying)
                    (patient ?B ?ITEM)
                    (immediateInstance ?ITEM ?ENT)
                    (agent ?B ?BUYER)
                    (origin ?B ?SELLER))
                (transactionAmount ?B ?PRICE)) Obligation ?AGREE ?SELLER)))
Catalog.kif 295-309


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners