Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| splitFor |
| appearance as argument number 1 |
|
| (instance splitFor TernaryPredicate) | FinancialOntology.kif 2265-2265 | split for is an instance of ternary predicate |
| (domain splitFor 1 StockSplit) | FinancialOntology.kif 2266-2266 | The number 1 argument of split for is an instance of stock split |
| (domain splitFor 2 Integer) | FinancialOntology.kif 2267-2267 | The number 2 argument of split for is an instance of integer |
| (domain splitFor 3 Integer) | FinancialOntology.kif 2268-2268 | The number 3 argument of split for is an instance of integer |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage splitFor "%1 is %n split for %2 for %3") | domainEnglishFormat.kif 2333-2333 | |
| (format ChineseTraditionalLanguage splitFor "%1 %n 是 對於 %2 和 %3 的 split ") | domainEnglishFormat.kif 2334-2334 | |
| (format ChineseLanguage splitFor "%1 %n 是 对于 %2 和 %3 的 split ") | domainEnglishFormat.kif 2335-2335 | |
| (termFormat EnglishLanguage splitFor "split for") | domainEnglishFormat.kif 54661-54661 | |
| (termFormat ChineseTraditionalLanguage splitFor "分裂為") | domainEnglishFormat.kif 54662-54662 | |
| (termFormat ChineseLanguage splitFor "分裂为") | domainEnglishFormat.kif 54663-54663 |
| 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 2270-2280 | If X possesses Y, the measure of Y is Z share unit(s), and W is split for V for U, then equal T and Z and U and equal S and T and V and the measure of Y is S share unit(s) holds during immediately after the time of existence of W |
|