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 15422-15425
(domain agreementClause 1 Proposition)	Mid-level-ontology.kif 15428-15428	The number 1 argument of agreement clause is an instance of proposition
(domain agreementClause 2 DeonticAttribute)	Mid-level-ontology.kif 15429-15429	The number 2 argument of agreement clause is an instance of deontic attribute
(domain agreementClause 3 Agreement)	Mid-level-ontology.kif 15430-15430	The number 3 argument of agreement clause is an instance of agreement
(domain agreementClause 4 CognitiveAgent)	Mid-level-ontology.kif 15431-15431	The number 4 argument of agreement clause is an instance of cognitive agent
(instance agreementClause QuaternaryPredicate)	Mid-level-ontology.kif 15421-15421	agreement clause is an instance of quaternary predicate

appearance as argument number 2

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

antecedent

(=> (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT) (and (exists (?CLAUSE) (containsInformation ?CLAUSE ?PROP)) (partyToAgreement ?AGENT ?AGREEMENT)))	Mid-level-ontology.kif 15433-15438	If a cognitive agent has the responsibility to make a proposition a deontic attribute in an agreement, then there exists a content bearing physical such that the content bearing physical contains information the proposition and the agreement is a party to agreement of the cognitive agent
(=> (agreementClause ?PROP Permission ?AGREEMENT ?AGENT) (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT))	Mid-level-ontology.kif 15461-15467	If a cognitive agent has the responsibility to make a proposition permission in an agreement, then the cognitive agent has the right to perform there exists an entity such that the entity expresses the content of the proposition and the cognitive agent is an agent of the entity
(=> (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT) (not (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT)))	Mid-level-ontology.kif 15452-15459	If a cognitive agent has the responsibility to make a proposition prohibition in an agreement, then the cognitive agent doesn't have the right to perform there exists an entity such that the entity expresses the content of the proposition and the cognitive agent is an agent of the entity
(=> (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 15440-15450	If a cognitive agent has the responsibility to make a proposition a deontic attribute in an agreement and equal the deontic attribute and obligation or equal the deontic attribute and promise, then the statement there exists an entity such that the entity expresses the content of the proposition and the cognitive agent is an agent of the entity has the modal force of likely

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 &egotiatedPrice$"price" negotiated for a kind of physical in an agreement is a currency measure and the agreement is a party to agreement of a cognitive agent and the agreement is a party to agreement of another cognitive agent,
then the cognitive agent has the responsibility to make there exist an entity and another entity such that the entity is an instance of buying and the other entity is a patient of the entity and the other entity is an immediate instance of a kind of physical and the other cognitive agent is an agent of the entity and the entity originates at the cognitive agent and the currency measure is a transaction amount of the entity obligation in the agreement

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

KB Term:			Term intersection

English Word: