AmountsFn - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7574-7576
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7578-7578	Le nombre 2 argument de AmountsFn est une instance de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7579-7579	Le nombre 3 argument de AmountsFn est une instance de UnitOfMass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7577-7577	Le nombre 1 argument de AmountsFn est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7573-7573	AmountsFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7580-7580	Le domaine de AmountsFn est une instance de liste

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

domainEnglishFormat.kif 64441-64441

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 7582-7587

consequent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 7596-7611