TreeView Knowledge Base Browser

appearance as argument number 1

(instance agreementClause QuaternaryPredicate)	Mid-level-ontology.kif 15661-15661	agreement clause is an instance of quaternary predicate
(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 15662-15665	agreement clause is an instance of quaternary predicate
(domain agreementClause 1 Proposition)	Mid-level-ontology.kif 15668-15668	The number 1 argument of agreement clause is an instance of proposition
(domain agreementClause 2 DeonticAttribute)	Mid-level-ontology.kif 15669-15669	The number 2 argument of agreement clause is an instance of deontic attribute
(domain agreementClause 3 Agreement)	Mid-level-ontology.kif 15670-15670	The number 3 argument of agreement clause is an instance of agreement
(domain agreementClause 4 CognitiveAgent)	Mid-level-ontology.kif 15671-15671	The number 4 argument of agreement clause is an instance of cognitive agent

appearance as argument number 2

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

antecedent

(=> (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT) (and (exists (?CLAUSE) (containsInformation ?CLAUSE ?PROP)) (partyToAgreement ?AGENT ?AGREEMENT)))	Mid-level-ontology.kif 15673-15678	If X has the responsibility to make Y Z in W, then there exists V such that V contains information Y and W is a party to agreement of X
(=> (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 15680-15690	If X has the responsibility to make Y Z in W and equal Z and obligation or equal Z and promise, then the statement there exists V such that V expresses the content of Y and X is an agent of V has the modal force of likely
(=> (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT) (not (holdsRight ?AGENT (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))))))	Mid-level-ontology.kif 15692-15699	If X has the responsibility to make Y prohibition in Z, then X doesn't have the right to perform %3
(=> (agreementClause ?PROP Permission ?AGREEMENT ?AGENT) (holdsRight ?AGENT (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT)))))	Mid-level-ontology.kif 15701-15707	If X has the responsibility to make Y permission in Z, then X has the right to perform %3

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

If the price negotiated for X in Y is Z, Y is a party to agreement of W, and Y is a party to agreement of V, then All of the following hold: (1) W has the responsibility to make there exist U (2) T such that U is an instance of buying (3) T is a patient of U (4) T is an immediate instance of X (5) V is an agent of U (6) U originates at W (7) Z is a transaction amount of U obligation in Y

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: