| appearance as argument number 1 |
|
| (documentation negotiatedPrice EnglishLanguage "(negotiatedPrice ?ENT ?PRICE ?AGREE) means that according to Agreement ?AGREE - which is agreed upon by seller and buyer - the CurrencyMeasure ?PRICE is given to Entity ?ENT") | Catalog.kif 255-257 | |
| (domain negotiatedPrice 2 CurrencyMeasure) | Catalog.kif 259-259 | |
| (domain negotiatedPrice 3 Agreement) | Catalog.kif 260-260 | |
| (domainSubclass negotiatedPrice 1 Entity) | Catalog.kif 258-258 | |
| (instance negotiatedPrice TernaryPredicate) | Catalog.kif 254-254 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage negotiatedPrice "对于 %1 协商的 price 在 %3 是 %2 ") | domainEnglishFormat.kif 3967-3967 | |
| (format ChineseTraditionalLanguage negotiatedPrice "對於 %1 協商的 price 在 %3 是 %2 ") | domainEnglishFormat.kif 3966-3966 | |
| (format EnglishLanguage negotiatedPrice "the price negotiated for %1 in %3 is %2") | domainEnglishFormat.kif 3965-3965 |
| antecedent |
|
|
| (=> (and (negotiatedPrice ?ENT ?PRICE ?AGREE) (partyToAgreement ?SELLER ?AGREE) (partyToAgreement ?BUYER ?AGREE) (subclass ?ENT Physical)) (modalAttribute (=> (and (instance ?S Selling) (patient ?S ?ITEM) (immediateInstance ?ITEM ?ENT) (agent ?S ?SELLER) (destination ?S ?BUYER)) (transactionAmount ?S ?PRICE)) Promise)) |
Catalog.kif 262-276 | |
| (=> (and (negotiatedPrice ?ENT ?PRICE ?AGREE) (partyToAgreement ?SELLER ?AGREE) (partyToAgreement ?BUYER ?AGREE) (subclass ?ENT Proposition)) (modalAttribute (=> (and (immediateInstance ?ITEM ?ENT) (realization ?PROCESS ?ITEM) (instance ?S Selling) (patient ?S ?PROCESS) (agent ?S ?SELLER) (destination ?S ?BUYER)) (transactionAmount ?S ?PRICE)) Promise)) |
Catalog.kif 278-293 | |
| (=> (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 3.0 is open source software produced by Articulate Software and its partners