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 11664-11667
(domain agreementClause 1 Proposition) Mid-level-ontology.kif 11670-11670 agreementClause 的 1 数量 是 命题instance
(domain agreementClause 2 DeonticAttribute) Mid-level-ontology.kif 11671-11671 agreementClause 的 2 数量 是 道义属性instance
(domain agreementClause 3 Agreement) Mid-level-ontology.kif 11672-11672 agreementClause 的 3 数量 是 Agreementinstance
(domain agreementClause 4 CognitiveAgent) Mid-level-ontology.kif 11673-11673 agreementClause 的 4 数量 是 有认知的主事instance
(instance agreementClause QuaternaryPredicate) Mid-level-ontology.kif 11663-11663 agreementClause四元谓语instance

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


(format EnglishLanguage agreementClause "%4 has the responsibility to make %1 %2 in %3") domainEnglishFormat.kif 690-690
(termFormat EnglishLanguage agreementClause "agreement clause") Mid-level-ontology.kif 11668-11668 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 11675-11680
(=>
    (agreementClause ?PROP Permission ?AGREEMENT ?AGENT)
    (holdsRight
        (exists (?PROC)
            (and
                (realization ?PROC ?PROP)
                (agent ?PROC ?AGENT))) ?AGENT))
Mid-level-ontology.kif 11703-11709
(=>
    (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT)
    (not
        (holdsRight
            (exists (?PROC)
                (and
                    (realization ?PROC ?PROP)
                    (agent ?PROC ?AGENT))) ?AGENT)))
Mid-level-ontology.kif 11694-11701
(=>
    (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 11682-11692

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