Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| agreementClause |
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage agreementClause "agreement clause") | Mid-level-ontology.kif 15666-15666 | |
| (format EnglishLanguage agreementClause "%4 has the responsibility to make %1 %2 in %3") | domainEnglishFormat.kif 2720-2720 | |
| (format ChineseTraditionalLanguage agreementClause "%4 有義務去做在 %3 的 %1 %2 ") | domainEnglishFormat.kif 2721-2721 | |
| (format ChineseLanguage agreementClause "%4 有义务去做在 %3 的 %1 %2") | domainEnglishFormat.kif 2722-2722 |
| antecedent |
|
|
| (=> (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT) (and (exists (?CLAUSE) (containsInformation ?CLAUSE ?PROP)) (partyToAgreement ?AGENT ?AGREEMENT))) |
Mid-level-ontology.kif 15673-15678 | If X has the responsibility to make Y Z in W, then there exists V such that V contains information Y and W is a party to agreement of X |
| (=> (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 15680-15690 | If X has the responsibility to make Y Z in W and equal Z and obligation or equal Z and promise, then the statement there exists V such that V expresses the content of Y and X is an agent of V has the modal force of likely |
| (=> (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT) (not (holdsRight ?AGENT (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT)))))) |
Mid-level-ontology.kif 15692-15699 | If X has the responsibility to make Y prohibition in Z, then X doesn't have the right to perform %3 |
| (=> (agreementClause ?PROP Permission ?AGREEMENT ?AGENT) (holdsRight ?AGENT (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))))) |
Mid-level-ontology.kif 15701-15707 | If X has the responsibility to make Y permission in Z, then X has the right to perform %3 |
| 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 | If the price negotiated for X in Y is Z, Y is a party to agreement of W, and Y is a party to agreement of V, then All of the following hold: (1) W has the responsibility to make there exist U (2) T such that U is an instance of buying (3) T is a patient of U (4) T is an immediate instance of X (5) V is an agent of U (6) U originates at W (7) Z is a transaction amount of U obligation in Y |
|