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 14061-14064
(domain agreementClause 1 Proposition) Mid-level-ontology.kif 14067-14067 agreementClause の数値 1 引数は 命題instance では %n
(domain agreementClause 2 DeonticAttribute) Mid-level-ontology.kif 14068-14068 agreementClause の数値 2 引数は 義務的な属性instance では %n
(domain agreementClause 3 Agreement) Mid-level-ontology.kif 14069-14069 agreementClause の数値 3 引数は Agreementinstance では %n
(domain agreementClause 4 CognitiveAgent) Mid-level-ontology.kif 14070-14070 agreementClause の数値 4 引数は 認識エージェントinstance では %n
(instance agreementClause QuaternaryPredicate) Mid-level-ontology.kif 14060-14060 agreementClause4進述語instance では %n

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


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

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


(=>
    (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT)
    (and
        (exists (?CLAUSE)
            (containsInformation ?CLAUSE ?PROP))
        (partyToAgreement ?AGENT ?AGREEMENT)))
Mid-level-ontology.kif 14072-14077
(=>
    (agreementClause ?PROP Permission ?AGREEMENT ?AGENT)
    (holdsRight
        (exists (?PROC)
            (and
                (realization ?PROC ?PROP)
                (agent ?PROC ?AGENT))) ?AGENT))
Mid-level-ontology.kif 14100-14106
(=>
    (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT)
    (not
        (holdsRight
            (exists (?PROC)
                (and
                    (realization ?PROC ?PROP)
                    (agent ?PROC ?AGENT))) ?AGENT)))
Mid-level-ontology.kif 14091-14098
(=>
    (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 14079-14089

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


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


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