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 11695-11698
(domain agreementClause 1 Proposition)	Mid-level-ontology.kif 11701-11701
(domain agreementClause 2 DeonticAttribute)	Mid-level-ontology.kif 11702-11702
(domain agreementClause 3 Agreement)	Mid-level-ontology.kif 11703-11703
(domain agreementClause 4 CognitiveAgent)	Mid-level-ontology.kif 11704-11704
(instance agreementClause QuaternaryPredicate)	Mid-level-ontology.kif 11694-11694

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

antecedent

(=> (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT) (and (exists (?CLAUSE) (containsInformation ?CLAUSE ?PROP)) (partyToAgreement ?AGENT ?AGREEMENT)))	Mid-level-ontology.kif 11706-11711
(=> (agreementClause ?PROP Permission ?AGREEMENT ?AGENT) (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT))	Mid-level-ontology.kif 11734-11740
(=> (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT) (not (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT)))	Mid-level-ontology.kif 11725-11732
(=> (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 11713-11723

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

KB Term:			Term intersection

English Word: