| PlacingAnOrder
|
| appearance as argument number 1 |
|
| (externalImage PlacingAnOrder "http://upload.wikimedia.org/wikipedia/commons/ c/ ce/ Ordering_wine.jpg") | pictureList.kif 10189-10189 | |
| (subclass PlacingAnOrder FinancialTransaction) | FinancialOntology.kif 1950-1950 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PlacingAnOrder "正在下单") | domainEnglishFormat.kif 46023-46023 | |
| (termFormat ChineseTraditionalLanguage PlacingAnOrder "正在下單") | domainEnglishFormat.kif 46022-46022 | |
| (termFormat EnglishLanguage PlacingAnOrder "placing an order") | domainEnglishFormat.kif 46021-46021 |
| antecedent |
|
|
| (=> (and (instance ?Order PlacingAnOrder) (orderFor ?Order ?TransactionType ?Shares)) (hasPurpose ?Order (exists (?Transaction) (and (instance ?Transaction ?TransactionType) (patient ?Transaction ?Shares))))) |
FinancialOntology.kif 1971-1979 | |
| (=> (and (instance ?Place PlacingAnOrder) (equal (WhenFn ?Place) ?Time)) (exists (?Order ?Period) (and (equal (WhenFn ?Order) ?Period) (meetsTemporally ?Time ?Period)))) |
FinancialOntology.kif 1952-1959 |
|
|
|