splitFor |
appearance as argument number 1 |
![]() |
(domain splitFor 1 StockSplit) | FinancialOntology.kif 2242-2242 | splitFor の数値 1 引数は StockSplit の instance では |
(domain splitFor 2 Integer) | FinancialOntology.kif 2243-2243 | splitFor の数値 2 引数は 整数 の instance では |
(domain splitFor 3 Integer) | FinancialOntology.kif 2244-2244 | splitFor の数値 3 引数は 整数 の instance では |
(instance splitFor TernaryPredicate) | FinancialOntology.kif 2241-2241 | splitFor は 3進述語 の instance では |
appearance as argument number 2 |
![]() |
(format ChineseLanguage splitFor "%1 %n 是 对于 %2 和 %3 的 split ") | domainEnglishFormat.kif 2335-2335 | |
(format ChineseTraditionalLanguage splitFor "%1 %n 是 對於 %2 和 %3 的 split ") | domainEnglishFormat.kif 2334-2334 | |
(format EnglishLanguage splitFor "%1 is %n split for %2 for %3") | domainEnglishFormat.kif 2333-2333 | |
(termFormat ChineseLanguage splitFor "分裂为") | domainEnglishFormat.kif 54670-54670 | |
(termFormat ChineseTraditionalLanguage splitFor "分裂為") | domainEnglishFormat.kif 54669-54669 | |
(termFormat EnglishLanguage splitFor "split for") | domainEnglishFormat.kif 54668-54668 |
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 2246-2256 |
![]() |
![]() |