TreeView Knowledge Base Browser

appearance as argument number 1

(domain splitFor 1 StockSplit)	FinancialOntology.kif 2225-2225	分裂为的 1 数量是股票分割的 instance
(domain splitFor 2 Integer)	FinancialOntology.kif 2226-2226	分裂为的 2 数量是整数的 instance
(domain splitFor 3 Integer)	FinancialOntology.kif 2227-2227	分裂为的 3 数量是整数的 instance
(instance splitFor TernaryPredicate)	FinancialOntology.kif 2224-2224	分裂为是三元谓语的 instance

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

如果施事体 possesses 客体和那个客体的 measure 是实数 ShareUnit 和股票分割是对于整数和另一个整数的 split ，
然后实体 equal 那个实数和那个另外整数和另一个实体 equal 那个实体和那个整数和那个客体的 measure 是那个另外实体 ShareUnit 在紧接那个股票分割出现的 time after holdsDuring

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

KB Term:			Term intersection

English Word: