Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - splitFor
splitFor

appearance as argument number 1
-------------------------


(domain splitFor 1 StockSplit) FinancialOntology.kif 2242-2242 splitFor の数値 1 引数は StockSplitinstance では
(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 splitFor3進述語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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners