ListSumFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ListSumFn

ListSumFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3255-3255
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3253-3253	The number 1 argument of sum of elements is an instance of list
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3252-3252	Sum of elements is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3254-3254	The range of sum of elements is an instance of real number

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3256-3256
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3257-3257

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3265-3269	If equal a real number and the sum of a list and equal 1 and length of the list, then equal the real number and 1th element of the list
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3271-3281	If equal a real number and the sum of a list and length of the list is greater than 1, then equal the real number and (the first of the list and the sum of the sub-list from 2 to length of the list of the list)

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7647-7662	If amount a kind of substance, a corpuscular object and a real number an unit of mass(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 unit of mass(s) and the kind of substanceI is a part of the corpuscular object, then there exists a list such that the real number2 the unit of mass(s) is a member of the list and equal the list and Amounts fn the kind of substance, the corpuscular object and the unit of mass and equal the real number and the sum of the list
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3290-3297	If equal a real number and the average of the numbers in a list and length of the list is greater than 0, then equal the real number and the sum of the list and length of the list
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3271-3281	If equal a real number and the sum of a list and length of the list is greater than 1, then equal the real number and (the first of the list and the sum of the sub-list from 2 to length of the list of the list)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2738-2748	If a real number long ton(s) is a fleet dead weight tonnage of a collection and another real number long ton(s) is a vessel dead weight tonnage of a water vehicle and the water vehicle is a member of the collection, then there exists a list such that the list is an instance of list and the other real number is a member of the list and equal the real number and the sum of the list
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2970-2996	If an object is an instance of odometer and another object is an instance of vehicle and the object is a part of the other object and a motion is an instance of translocation and the other object is an instrument for the motion and a transitway is path along which the motion occurs and the distance of the transitway is a real number an unit of measure(s) and the unit of measure is an instance of length measure, then the object has the purpose there exist an entity, another entity,, , the real numberIST and the unit of measure such that the entity is an instance of measuring and the object is an instrument for the entity and the real numberIST is a measurement reading of the object and the real number is a member of the other entity and equal the real numberIST and the sum of the other entity the unit of measure(s) and reset measuring device is not an attribute of the object holds during the time of existence of the end of the entity

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

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