| 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 14033-14036 | |
| (domain agreementClause 1 Proposition) | Mid-level-ontology.kif 14039-14039 | Le nombre 1 argument de agreementClause est une instance de proposition |
| (domain agreementClause 2 DeonticAttribute) | Mid-level-ontology.kif 14040-14040 | Le nombre 2 argument de agreementClause est une instance de deontic attribute |
| (domain agreementClause 3 Agreement) | Mid-level-ontology.kif 14041-14041 | Le nombre 3 argument de agreementClause est une instance de Agreement |
| (domain agreementClause 4 CognitiveAgent) | Mid-level-ontology.kif 14042-14042 | Le nombre 4 argument de agreementClause est une instance de agent cognitif |
| (instance agreementClause QuaternaryPredicate) | Mid-level-ontology.kif 14032-14032 | agreementClause est une instance de pr�dicat quaternaire |
| 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 14037-14037 |
| antecedent |
|
|
| (=> (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT) (and (exists (?CLAUSE) (containsInformation ?CLAUSE ?PROP)) (partyToAgreement ?AGENT ?AGREEMENT))) |
Mid-level-ontology.kif 14044-14049 | |
| (=> (agreementClause ?PROP Permission ?AGREEMENT ?AGENT) (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT)) |
Mid-level-ontology.kif 14072-14078 |
|
| (=> (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT) (not (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT))) |
Mid-level-ontology.kif 14063-14070 |
|
| (=> (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 14051-14061 |
|
| 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 |
|
|
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 3.0 is open source software produced by Articulate Software and its partners