Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  AmountsFn

 Sigma KEE - AmountsFn
AmountsFn

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


(instance AmountsFn TernaryFunction) Merge.kif 7716-7716 Amounts fn is an instance of ternary function
(documentation AmountsFn EnglishLanguage "A List of all the MassMeasures of instances of a type of Substance found in an Object.") Merge.kif 7717-7719 Amounts fn is an instance of ternary function
(domainSubclass AmountsFn 1 Substance) Merge.kif 7720-7720 The number 1 argument of Amounts fn is a subclass of substance
(domain AmountsFn 2 CorpuscularObject) Merge.kif 7721-7721 The number 2 argument of Amounts fn is an instance of corpuscular object
(domain AmountsFn 3 UnitOfMass) Merge.kif 7722-7722 The number 3 argument of Amounts fn is an instance of unit of mass
(range AmountsFn List) Merge.kif 7723-7723 The range of Amounts fn is an instance of list

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


(termFormat EnglishLanguage AmountsFn "Amounts fn") domainEnglishFormat.kif 64444-64444

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 7740-7755 If amount X, Y and Z W(s), V is an instance of X, the measure of V is U W(s), and V is a part of Y, then there exists T such that U W(s) is a member of T and equal T and Amounts fn X, Y and W and equal Z and the sum of T


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners