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 13252-13255
(domain agreementClause 1 Proposition) Mid-level-ontology.kif 13258-13258 The number 1 argument of agreement clause is an instance of proposition
(domain agreementClause 2 DeonticAttribute) Mid-level-ontology.kif 13259-13259 The number 2 argument of agreement clause is an instance of deontic attribute
(domain agreementClause 3 Agreement) Mid-level-ontology.kif 13260-13260 The number 3 argument of agreement clause is an instance of agreement
(domain agreementClause 4 CognitiveAgent) Mid-level-ontology.kif 13261-13261 The number 4 argument of agreement clause is an instance of cognitive agent
(instance agreementClause QuaternaryPredicate) Mid-level-ontology.kif 13251-13251 agreement clause is an instance of quaternary predicate

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


(format ChineseLanguage agreementClause "%4 有义务去做在 %3 的 %1 %2") domainEnglishFormat.kif 2727-2727
(format ChineseTraditionalLanguage agreementClause "%4 有義務去做在 %3 的 %1 %2 ") domainEnglishFormat.kif 2726-2726
(format EnglishLanguage agreementClause "%4 has the responsibility to make %1 %2 in %3") domainEnglishFormat.kif 2725-2725
(termFormat EnglishLanguage agreementClause "agreement clause") Mid-level-ontology.kif 13256-13256

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


(=>
    (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT)
    (and
        (exists (?CLAUSE)
            (containsInformation ?CLAUSE ?PROP))
        (partyToAgreement ?AGENT ?AGREEMENT)))
Mid-level-ontology.kif 13263-13268
(=>
    (agreementClause ?PROP Permission ?AGREEMENT ?AGENT)
    (holdsRight
        (exists (?PROC)
            (and
                (realization ?PROC ?PROP)
                (agent ?PROC ?AGENT))) ?AGENT))
Mid-level-ontology.kif 13291-13297
(=>
    (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT)
    (not
        (holdsRight
            (exists (?PROC)
                (and
                    (realization ?PROC ?PROP)
                    (agent ?PROC ?AGENT))) ?AGENT)))
Mid-level-ontology.kif 13282-13289
(=>
    (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 13270-13280

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 301-315


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