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 | O argumento numero 1 de agreementClause e' uma instancia de Proposicao |
(domain agreementClause 2 DeonticAttribute) | Mid-level-ontology.kif 14068-14068 | O argumento numero 2 de agreementClause e' uma instancia de Atributo Deontico |
(domain agreementClause 3 Agreement) | Mid-level-ontology.kif 14069-14069 | O argumento numero 3 de agreementClause e' uma instancia de Agreement |
(domain agreementClause 4 CognitiveAgent) | Mid-level-ontology.kif 14070-14070 | O argumento numero 4 de agreementClause e' uma instancia de Agente Cognitivo |
(instance agreementClause QuaternaryPredicate) | Mid-level-ontology.kif 14060-14060 | agreementClause e' uma instancia de Predicado Quaternario |
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 |
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 |
|