ResetMeasuringDevice - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ResetMeasuringDevice EnglishLanguage "ResetMeasuringDevice is an attribute which signified that the measurementReading of a MeasuringDevice has been set to zero.")	Cars.kif 3000-3002
(instance ResetMeasuringDevice RelationalAttribute)	Cars.kif 2999-2999	ResetMeasuringDevice is an instance of relational attribute

appearance as argument number 2

(termFormat EnglishLanguage ResetMeasuringDevice "reset measuring device")

domainEnglishFormat.kif 65947-65947

antecedent

(=>
    (and
        (instance ?X MeasuringDevice)
        (attribute ?X ResetMeasuringDevice))
    (and
        (measurementReading ?X
            (MeasureFn 0 ?U))
        (instance ?U UnitOfMeasure)))

Cars.kif 3004-3011

If a MeasuringDevice is an instance of MeasuringDevice and ResetMeasuringDevice is an attribute of the MeasuringDevice,
then measurementReading the MeasuringDevice and 0 an unit of measure(s) and the unit of measure is an instance of unit of measure

consequent

(=>
    (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 distanceOnPath a real number an unit of measure(s) and the Transitway 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 measurementReading the object and the real numberIST and the real number is a member of the other entity and equal the real numberIST and ListSumFn the other entity the unit of measure(s) and ResetMeasuringDevice 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

KB Term:			Term intersection

English Word: