Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - distanceOnPath
distanceOnPath

appearance as argument number 1
-------------------------


(documentation distanceOnPath EnglishLanguage "(distanceOnPath ?DIST ?PATH) means that for a given path (which is a pathInSystem) that the distance of the route is the measurement ?DIST.") Mid-level-ontology.kif 25478-25480
(domain distanceOnPath 1 ConstantQuantity) Mid-level-ontology.kif 25481-25481 The number 1 argument of distance on path is an instance of constant quantity
(domain distanceOnPath 2 Transitway) Mid-level-ontology.kif 25482-25482 The number 2 argument of distance on path is an instance of transitway
(instance distanceOnPath BinaryPredicate) Mid-level-ontology.kif 25477-25477 distance on path is an instance of binary predicate

appearance as argument number 2
-------------------------


(format ChineseLanguage distanceOnPath "%2 的 distance 是 %1 ") domainEnglishFormat.kif 3274-3274
(format ChineseTraditionalLanguage distanceOnPath "%2 的 distance 是 %1 ") domainEnglishFormat.kif 3273-3273
(format EnglishLanguage distanceOnPath "the distance of %2 is %1") domainEnglishFormat.kif 3272-3272
(termFormat EnglishLanguage distanceOnPath "distance on path") domainEnglishFormat.kif 65843-65843

antecedent
-------------------------


(=>
    (and
        (distanceOnPath ?DIST ?PATH)
        (pathInSystem ?PATH ?SYS)
        (routeStart ?START ?PATH)
        (routeEnd ?END ?PATH)
        (abstractCounterpart ?GRAPH ?SYS))
    (exists (?S ?BN ?EN)
        (and
            (subGraph ?S ?GRAPH)
            (equal ?BN
                (BeginNodeFn ?GRAPH))
            (equal ?EN
                (EndNodeFn ?GRAPH))
            (abstractCounterpart ?BN ?START)
            (abstractCounterpart ?EN ?END))))		 Transportation.kif 3401-3414
(=>
    (and
        (instance ?M HalfMarathon)
        (agent ?M ?H)
        (path ?M ?P)
        (distanceOnPath
            (MeasureFn ?N Mile) ?P))
    (equal ?N 13.1))		 Sports.kif 295-302
(=>
    (and
        (instance ?M Marathon)
        (agent ?M ?H)
        (path ?M ?P)
        (distanceOnPath
            (MeasureFn ?N Mile) ?P))
    (equal ?N 26.2))		 Sports.kif 281-288
(=>
    (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
(=>
    (distanceOnPath ?DIST ?PATH)
    (exists (?GP)
        (and
            (instance ?GP GraphPath)
            (abstractCounterpart ?GP ?PATH))))		 Transportation.kif 3394-3399


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