| 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 11404-11407 | |
| (domain agreementClause 1 Proposition) | Mid-level-ontology.kif 11410-11410 | |
| (domain agreementClause 2 DeonticAttribute) | Mid-level-ontology.kif 11411-11411 | |
| (domain agreementClause 3 Agreement) | Mid-level-ontology.kif 11412-11412 | |
| (domain agreementClause 4 CognitiveAgent) | Mid-level-ontology.kif 11413-11413 | |
| (instance agreementClause QuaternaryPredicate) | Mid-level-ontology.kif 11403-11403 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage agreementClause "%4 has the responsibility to make %1 %2 in %3") | domainEnglishFormat.kif 690-690 | |
| (termFormat EnglishLanguage agreementClause "agreement clause") | Mid-level-ontology.kif 11408-11408 |
| antecedent |
|
|
| (=> (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT) (and (exists (?CLAUSE) (containsInformation ?CLAUSE ?PROP)) (partyToAgreement ?AGENT ?AGREEMENT))) |
Mid-level-ontology.kif 11415-11420 | |
| (=> (agreementClause ?PROP Permission ?AGREEMENT ?AGENT) (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT)) |
Mid-level-ontology.kif 11443-11449 | |
| (=> (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT) (not (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT))) |
Mid-level-ontology.kif 11434-11441 | |
| (=> (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 11422-11432 |
| 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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners