TreeView Knowledge Base Browser

appearance as argument number 1

(documentation AmountsFn EnglishLanguage "A List of all the MassMeasures of instances of a type of Substance found in an Object.")	Merge.kif 7575-7577
(domain AmountsFn 2 CorpuscularObject)	Merge.kif 7579-7579
(domain AmountsFn 3 UnitOfMass)	Merge.kif 7580-7580
(domainSubclass AmountsFn 1 Substance)	Merge.kif 7578-7578
(instance AmountsFn BinaryFunction)	Merge.kif 7574-7574
(range AmountsFn List)	Merge.kif 7581-7581

appearance as argument number 2

(termFormat EnglishLanguage AmountsFn "Amounts fn")

domainEnglishFormat.kif 64443-64443

antecedent

(=>
    (and
        (inList ?E ?L)
        (equal ?L
            (AmountsFn ?S ?CO ?U)))
    (instance ?E RationalNumber))

Merge.kif 7583-7588

consequent

(=>
    (and
        (amount ?S ?CO
            (MeasureFn ?N ?U))
        (instance ?SI ?S)
        (measure ?SI
            (MeasureFn ?N2 ?U))
        (part ?SI ?CO))
    (exists (?L)
        (and
            (inList
                (MeasureFn ?N2 ?U) ?L)
            (equal ?L
                (AmountsFn ?S ?CO ?U))
            (equal ?N
                (ListSumFn ?L)))))

Merge.kif 7597-7612

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

KB Term:			Term intersection

English Word: