| 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 15442-15445 | |
| (domain agreementClause 1 Proposition) | Mid-level-ontology.kif 15448-15448 | |
| (domain agreementClause 2 DeonticAttribute) | Mid-level-ontology.kif 15449-15449 | |
| (domain agreementClause 3 Agreement) | Mid-level-ontology.kif 15450-15450 | |
| (domain agreementClause 4 CognitiveAgent) | Mid-level-ontology.kif 15451-15451 | |
| (instance agreementClause QuaternaryPredicate) | Mid-level-ontology.kif 15441-15441 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage agreementClause "%4 有义务去做在 %3 的 %1 %2") | domainEnglishFormat.kif 2722-2722 | |
| (format ChineseTraditionalLanguage agreementClause "%4 有義務去做在 %3 的 %1 %2 ") | domainEnglishFormat.kif 2721-2721 | |
| (format EnglishLanguage agreementClause "%4 has the responsibility to make %1 %2 in %3") | domainEnglishFormat.kif 2720-2720 | |
| (termFormat EnglishLanguage agreementClause "agreement clause") | Mid-level-ontology.kif 15446-15446 |
| antecedent |
|
|
| (=> (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT) (and (exists (?CLAUSE) (containsInformation ?CLAUSE ?PROP)) (partyToAgreement ?AGENT ?AGREEMENT))) |
Mid-level-ontology.kif 15453-15458 | |
| (=> (agreementClause ?PROP Permission ?AGREEMENT ?AGENT) (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT)) |
Mid-level-ontology.kif 15481-15487 | |
| (=> (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT) (not (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT))) |
Mid-level-ontology.kif 15472-15479 | |
| (=> (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 15460-15470 |
| 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