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 2155-2155 domain splitFor, 1 and StockSplit
(domain splitFor 2 Integer) FinancialOntology.kif 2156-2156 domain splitFor, 2 and Integer
(domain splitFor 3 Integer) FinancialOntology.kif 2157-2157 domain splitFor, 3 and Integer
(instance splitFor TernaryPredicate) FinancialOntology.kif 2154-2154 instance splitFor and TernaryPredicate

appearance as argument number 2
-------------------------


(format ChineseLanguage splitFor "%1 %n 是 对于 %2 和 %3 的 split ") domainEnglishFormat.kif 2327-2327
(format ChineseTraditionalLanguage splitFor "%1 %n 是 對於 %2 和 %3 的 split ") domainEnglishFormat.kif 2326-2326
(format EnglishLanguage splitFor "%1 is %n split for %2 for %3") domainEnglishFormat.kif 2325-2325
(termFormat ChineseLanguage splitFor "分裂为") domainEnglishFormat.kif 54601-54601 termFormat ChineseLanguage, splitFor and "分裂为"
(termFormat ChineseTraditionalLanguage splitFor "分裂為") domainEnglishFormat.kif 54600-54600 termFormat ChineseTraditionalLanguage, splitFor and "分裂為"
(termFormat EnglishLanguage splitFor "split for") domainEnglishFormat.kif 54599-54599 termFormat EnglishLanguage, splitFor and "split for"

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 2159-2169
(=>
    (and
        (price ?Stocks
            (MeasureFn ?Number UnitedStatesDollar) ?Time)
        (exists (?Event)
            (and
                (splitFor ?Event ?N1 ?N2)
                (equal
                    (WhenFn ?Event) ?TimeOfSplit))))
    (and
        (equal ?N3
            (MultiplicationFn ?Number ?N1))
        (equal ?NewNumber
            (DivisionFn ?N3 ?N2))
        (price ?Stocks
            (MeasureFn ?NewNumber UnitedStatesDollar) ?TimeAfterSplit)
        (meetsTemporally ?Time ?TimeOfSplit)
        (meetsTemporally ?TimeOfSplit ?TimeAfterSplit)))
FinancialOntology.kif 2171-2183


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners