TreeView Knowledge Base Browser - AmountsFn

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - AmountsFn

AmountsFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7478-7480
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7482-7482	The number 2 argument of AmountsFn is an instance of corpuscular object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7483-7483	The number 3 argument of AmountsFn is an instance of UnitOfMass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7481-7481	The number 1 argument of AmountsFn is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7477-7477	AmountsFn is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7484-7484	The range of AmountsFn is an instance of list

antecedent

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

Merge.kif 7486-7491

If an entity is a member of a list and the list is equal to AmountsFn a kind of substance, a corpuscular object and an UnitOfMass,
then the entity is an instance of rational number

consequent

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

Merge.kif 7500-7515

If amount a kind of substance, a corpuscular object and a real number an UnitOfMass(s) and a kind of substanceI is an instance of the kind of substance and the measure of the kind of substanceI is the real number2 the UnitOfMass(s) and the kind of substanceI is a part of the corpuscular object,
then there exists a list such that the real number2 the UnitOfMass(s) is a member of the list and the list is equal to AmountsFn the kind of substance, the corpuscular object and the UnitOfMass and the real number is equal to the sum of the list

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 is open source software produced by Articulate Software and its partners