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 14060-14063 | |
(domain agreementClause 1 Proposition) | Mid-level-ontology.kif 14066-14066 | Die Zahl 1 Argument von agreementClause ist ein fall von Proposition %n{nicht} |
(domain agreementClause 2 DeonticAttribute) | Mid-level-ontology.kif 14067-14067 | Die Zahl 2 Argument von agreementClause ist ein fall von DeonticAttribute %n{nicht} |
(domain agreementClause 3 Agreement) | Mid-level-ontology.kif 14068-14068 | Die Zahl 3 Argument von agreementClause ist ein fall von Agreement %n{nicht} |
(domain agreementClause 4 CognitiveAgent) | Mid-level-ontology.kif 14069-14069 | Die Zahl 4 Argument von agreementClause ist ein fall von CognitiveAgent %n{nicht} |
(instance agreementClause QuaternaryPredicate) | Mid-level-ontology.kif 14059-14059 | agreementClause ist ein fall von QuaternaryPredicate %n{nicht} |
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 14064-14064 |
antecedent |
![]() |
(=> (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT) (and (exists (?CLAUSE) (containsInformation ?CLAUSE ?PROP)) (partyToAgreement ?AGENT ?AGREEMENT))) |
Mid-level-ontology.kif 14071-14076 |
|
(=> (agreementClause ?PROP Permission ?AGREEMENT ?AGENT) (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT)) |
Mid-level-ontology.kif 14099-14105 |
|
(=> (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT) (not (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT))) |
Mid-level-ontology.kif 14090-14097 |
|
(=> (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 14078-14088 |
|
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 |
|
![]() |
![]() |