|
|
  Benin
|
|
|
| appearance as argument number 1 |
|
|
| (externalImage PlacingAnOrder "http://upload.wikimedia.org/wikipedia/commons/ c/ ce/ Ordering_wine.jpg") | pictureList.kif 10190-10190 | |
| (subclass PlacingAnOrder FinancialTransaction) | FinancialOntology.kif 1950-1950 | PlacingAnOrder は 金融取引 の subclass では %n |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PlacingAnOrder "正在下单") | domainEnglishFormat.kif 45992-45992 | |
| (termFormat ChineseTraditionalLanguage PlacingAnOrder "正在下單") | domainEnglishFormat.kif 45991-45991 | |
| (termFormat EnglishLanguage PlacingAnOrder "placing an order") | domainEnglishFormat.kif 45990-45990 |
| 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 |
|
|
|
