| 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 11665-11668 | |
| (domain agreementClause 1 Proposition) | Mid-level-ontology.kif 11671-11671 | agreementClause の数値 1 引数は 命題 の instance では %n |
| (domain agreementClause 2 DeonticAttribute) | Mid-level-ontology.kif 11672-11672 | agreementClause の数値 2 引数は 義務的な属性 の instance では %n |
| (domain agreementClause 3 Agreement) | Mid-level-ontology.kif 11673-11673 | agreementClause の数値 3 引数は Agreement の instance では %n |
| (domain agreementClause 4 CognitiveAgent) | Mid-level-ontology.kif 11674-11674 | agreementClause の数値 4 引数は 認識エージェント の instance では %n |
| (instance agreementClause QuaternaryPredicate) | Mid-level-ontology.kif 11664-11664 | agreementClause は 4進述語 の instance では %n |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage agreementClause "%4 有义务去做在 %3 的 %1 %2") | domainEnglishFormat.kif 2723-2723 | |
| (format ChineseTraditionalLanguage agreementClause "%4 有義務去做在 %3 的 %1 %2 ") | domainEnglishFormat.kif 2722-2722 | |
| (format EnglishLanguage agreementClause "%4 has the responsibility to make %1 %2 in %3") | domainEnglishFormat.kif 2721-2721 | |
| (termFormat EnglishLanguage agreementClause "agreement clause") | Mid-level-ontology.kif 11669-11669 | termFormat EnglishLanguage, agreementClause and "agreement clause" |
| antecedent |
|
|
| (=> (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT) (and (exists (?CLAUSE) (containsInformation ?CLAUSE ?PROP)) (partyToAgreement ?AGENT ?AGREEMENT))) |
Mid-level-ontology.kif 11676-11681 |
|
| (=> (agreementClause ?PROP Permission ?AGREEMENT ?AGENT) (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT)) |
Mid-level-ontology.kif 11704-11710 | |
| (=> (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT) (not (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT))) |
Mid-level-ontology.kif 11695-11702 | |
| (=> (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 11683-11693 |
| 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