splitFor |
appearance as argument number 1 |
(domain splitFor 1 StockSplit) | FinancialOntology.kif 2225-2225 | 分裂为 的 1 数量 是 股票分割 的 instance |
(domain splitFor 2 Integer) | FinancialOntology.kif 2226-2226 | 分裂为 的 2 数量 是 整数 的 instance |
(domain splitFor 3 Integer) | FinancialOntology.kif 2227-2227 | 分裂为 的 3 数量 是 整数 的 instance |
(instance splitFor TernaryPredicate) | FinancialOntology.kif 2224-2224 | 分裂为 是 三元谓语 的 instance |
appearance as argument number 2 |
(format ChineseLanguage splitFor "%1 %n 是 对于 %2 和 %3 的 split ") | domainEnglishFormat.kif 2331-2331 | |
(format ChineseTraditionalLanguage splitFor "%1 %n 是 對於 %2 和 %3 的 split ") | domainEnglishFormat.kif 2330-2330 | |
(format EnglishLanguage splitFor "%1 is %n split for %2 for %3") | domainEnglishFormat.kif 2329-2329 | |
(termFormat ChineseLanguage splitFor "分裂为") | domainEnglishFormat.kif 54666-54666 | |
(termFormat ChineseTraditionalLanguage splitFor "分裂為") | domainEnglishFormat.kif 54665-54665 | |
(termFormat EnglishLanguage splitFor "split for") | domainEnglishFormat.kif 54664-54664 |
antecedent |
(=> (and (possesses ?Agent ?Stocks) (measure ?Stocks (MeasureFn ?Number ShareUnit)) (splitFor ?Event ?N1 ?N2)) (holdsDuring (ImmediateFutureFn (WhenFn ?Event)) (and (equal ?N3 (MultiplicationFn ?Number ?N2)) (equal ?NewNumber (DivisionFn ?N3 ?N1)) (measure ?Stocks (MeasureFn ?NewNumber ShareUnit))))) |
FinancialOntology.kif 2229-2239 |