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 7672-7687	If amount a kind of substance, a corpuscular object and an integer 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 integer2 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 integer2 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 integer and the sum of the list
(=>     (and         (equal ?A             (AverageFn ?L))         (greaterThan             (ListLengthFn ?L) 0))     (equal ?A         (DivisionFn             (ListSumFn ?L)             (ListLengthFn ?L))))	Merge.kif 3315-3322	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
(=>     (and         (equal ?A             (ListSumFn ?L))         (greaterThan             (ListLengthFn ?L) 1))     (equal ?A         (AdditionFn             (FirstFn ?L)             (ListSumFn                 (SubListFn 2                     (ListLengthFn ?L) ?L)))))	Merge.kif 3296-3306	If equal an integer and the sum of a list and length of the list is greater than 1, then equal the integer and (the first of the list and the sum of the sub-list from 2 to length of the list of the list)
(=>     (and         (fleetDeadWeightTonnage ?FLEET             (MeasureFn ?T LongTon))         (vesselDeadWeightTonnage ?VESSEL             (MeasureFn ?X LongTon))         (member ?VESSEL ?FLEET))     (exists (?L)         (and             (instance ?L List)             (inList ?X ?L)             (equal ?T                 (ListSumFn ?L)))))	Transportation.kif 2737-2747	If an integer long ton(s) is a fleet dead weight tonnage of a collection and a 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 real number is a member of the list and equal the integer and the sum of the list
(=>     (and         (instance ?O Odometer)         (instance ?V Vehicle)         (part ?O ?V)         (instance ?T Translocation)         (instrument ?T ?V)         (path ?T ?P)         (distanceOnPath             (MeasureFn ?D ?U) ?P)         (instance ?U LengthMeasure))     (hasPurpose ?O         (exists (?M ?L ?DIST ?U)             (and                 (instance ?M Measuring)                 (instrument ?M ?O)                 (measurementReading ?O ?DIST)                 (inList ?D ?L)                 (holdsDuring                     (WhenFn                         (EndFn ?M))                     (and                         (equal ?DIST                             (MeasureFn                                 (ListSumFn ?L) ?U))                         (not                             (attribute ?O ResetMeasuringDevice))))))))	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