TreeView Knowledge Base Browser

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 14088-14091
(domain agreementClause 1 Proposition)	Mid-level-ontology.kif 14094-14094
(domain agreementClause 2 DeonticAttribute)	Mid-level-ontology.kif 14095-14095
(domain agreementClause 3 Agreement)	Mid-level-ontology.kif 14096-14096
(domain agreementClause 4 CognitiveAgent)	Mid-level-ontology.kif 14097-14097
(instance agreementClause QuaternaryPredicate)	Mid-level-ontology.kif 14087-14087

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 14092-14092

antecedent

(=> (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT) (and (exists (?CLAUSE) (containsInformation ?CLAUSE ?PROP)) (partyToAgreement ?AGENT ?AGREEMENT)))	Mid-level-ontology.kif 14099-14104
(=> (agreementClause ?PROP Permission ?AGREEMENT ?AGENT) (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT))	Mid-level-ontology.kif 14127-14133
(=> (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT) (not (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT)))	Mid-level-ontology.kif 14118-14125
(=> (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 14106-14116

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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: