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

Formal Language: 



KB Term:  Term intersection
English Word: 

  splitFor

Sigma KEE - splitFor
splitFor

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


(domain splitFor 1 StockSplit) FinancialOntology.kif 2225-2225 The number 1 argument of split for is an instance of stock split
(domain splitFor 2 Integer) FinancialOntology.kif 2226-2226 The number 2 argument of split for is an instance of integer
(domain splitFor 3 Integer) FinancialOntology.kif 2227-2227 The number 3 argument of split for is an instance of integer
(instance splitFor TernaryPredicate) FinancialOntology.kif 2224-2224 split for is an instance of ternary predicate

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


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

Show without tree


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