Odometer - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Odometer EnglishLanguage "An Odometer is a Device used for measuring the distance travelled by a vehicle, such as a car.[Wikipedia]")	Cars.kif 2965-2966
(subclass Odometer MeasuringDevice)	Cars.kif 2964-2964	Odometer is a subclass of MeasuringDevice
(typicalPart Odometer Vehicle)	Cars.kif 2968-2968	typicalPart Odometer and Vehicle

appearance as argument number 2

(names "odograph" Odometer)	Cars.kif 2967-2967	Odometer has &ames$"name" "odograph"
(termFormat EnglishLanguage Odometer "odometer")	domainEnglishFormat.kif 65899-65899	Odometer has &ames$"name" "odograph"

antecedent

(=>
    (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: