Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Offering(offering)
more pictures... |  | offer, sale, upgrade, volunteer |
| appearance as argument number 1 |
|
|
| (subclass Offering Committing) | Merge.kif 13536-13536 | Offering is a subclass of committing |
| (documentation Offering EnglishLanguage "The subclass of Committing in which a CognitiveAgent offers something Physical to another agent. Offerings may be unconditional (in which case they are a promise to effect a UnilateralGiving) or conditional (in which case they are a promise to effect a Transaction of some sort).") | Merge.kif 13538-13542 | Offering is a subclass of committing |
| (externalImage Offering "http://upload.wikimedia.org/wikipedia/commons/6/ 6f/ Offering_bearers.jpg") | pictureList.kif 10157-10157 | Offering is a subclass of committing |
| (externalImage Offering "http://upload.wikimedia.org/wikipedia/commons/5/ 5b/ Lowell_Offering_1.jpg") | pictureList.kif 11525-11525 | Offering is a subclass of committing |
| (externalImage Offering "http://upload.wikimedia.org/wikipedia/commons/0/ 09/ A_Roman_Offering_-_JWW.jpg") | pictureList.kif 11526-11526 | Offering is a subclass of committing |
| (externalImage Offering "http://upload.wikimedia.org/wikipedia/commons/a/ a7/ Hatshepsut_offering_nw_jars.jpg") | pictureList.kif 11527-11527 | Offering is a subclass of committing |
| (externalImage Offering "http://upload.wikimedia.org/wikipedia/commons/d/ d9/ Circe_Offering_the_Cup_to_Odysseus.jpg") | pictureList.kif 11529-11529 | Offering is a subclass of committing |
| (externalImage Offering "http://upload.wikimedia.org/wikipedia/commons/f/ ff/ Godward_An_Offering_to_Venus-1912.jpg") | pictureList.kif 11530-11530 | Offering is a subclass of committing |
| (externalImage Offering "http://upload.wikimedia.org/wikipedia/commons/6/ 6d/ IMG_0193_-_Wien_-_Stephansdom_-_Offering_candles.JPG") | pictureList.kif 11531-11531 | Offering is a subclass of committing |
| (externalImage Offering "http://upload.wikimedia.org/wikipedia/commons/8/ 8b/ Juan_van_der_Hamne-_Offering_a_Flora%2C_1627%2C_Prado..jpg") | pictureList.kif 11532-11532 | Offering is a subclass of committing |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (bidPrice ?Obj ?Money ?Agent) (exists (?Offering) (and (instance ?Offering Offering) (containsFormula ?Offering (exists (?Buying) (and (instance ?Buying Buying) (agent ?Buying ?Agent) (patient ?Buying ?Obj) (transactionAmount ?Buying ?Money))))))) |
FinancialOntology.kif 1958-1969 | If X bids Y for Z, then there exists W such that W is an instance of offering, W contains the formula there exists V such that V is an instance of buying, X is an agent of V, Z is a patient of V, and Y is a transaction amount of V |
| (=> (askPrice ?Obj ?Money ?Agent) (exists (?Offering) (and (instance ?Offering Offering) (containsFormula ?Offering (exists (?Selling) (and (instance ?Selling Selling) (agent ?Selling ?Agent) (patient ?Selling ?Obj) (transactionAmount ?Selling ?Money))))))) |
FinancialOntology.kif 1980-1991 | If X asks for Y for Z, then there exists W such that W is an instance of offering, W contains the formula there exists V such that V is an instance of selling, X is an agent of V, Z is a patient of V, and Y is a transaction amount of V |
| (=> (and (instance ?PROC IntentionalProcess) (result ?PROC ?DOC) (recordForAgreement ?DOC ?AG) (attribute ?AG Legal)) (exists (?O ?A ?A1 ?A2) (and (instance ?O Offering) (instance ?A ReachingAgreement) (refers ?O ?AG) (refers ?A ?AG) (agent ?O ?A1) (agent ?A ?A2) (earlier (WhenFn ?O) (WhenFn ?A))))) |
Law.kif 507-521 | If X is an instance of intentional process, Y is a result of X, Y is the record of Z, and legal is an attribute of Z, then All of the following hold: (1) there exist W, V,, , U (2) T such that W is an instance of offering (3) V is an instance of reaching agreement (4) W includes a reference to Z (5) V includes a reference to Z (6) U is an agent of W (7) T is an agent of V (8) the time of existence of W happens earlier than the time of existence of V |
|