PlacingAnOrder(正在下单) |
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 | 正在下单 是 金融交易 的 subclass |
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 |