more pictures...
| Offering(offering)
more pictures... | | offer, sale, upgrade, volunteer |
| appearance as argument number 1 |
|
|
| (subclass Offering Committing) | Merge.kif 13409-13409 | 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 13411-13415 | 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) (patient ?Offering (exists (?Buying) (and (instance ?Buying Buying) (agent ?Buying ?Agent) (patient ?Buying ?Obj) (transactionAmount ?Buying ?Money))))))) |
FinancialOntology.kif 1929-1939 | If X bids Y for Z, then there exists W such that W is an instance of offering, 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 is a patient of W |
| (=> (askPrice ?Obj ?Money ?Agent) (exists (?Offering) (and (instance ?Offering Offering) (patient ?Offering (exists (?Selling) (and (instance ?Selling Selling) (agent ?Selling ?Agent) (patient ?Selling ?Obj) (transactionAmount ?Selling ?Money))))))) |
FinancialOntology.kif 1950-1960 | If X asks for Y for Z, then there exists W such that W is an instance of offering, 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 is a patient of W |
| (=> (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 |
|
|
|