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	O argumento numero 2 de AmountsFn e' uma instancia de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7579-7579	O argumento numero 3 de AmountsFn e' uma instancia de UnitOfMass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7577-7577	O argumento numero 1 de AmountsFn e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7573-7573	AmountsFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7580-7580	O contra-dominio de AmountsFn e' uma instancia de Lista

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