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

Formal Language: 


KB Term:  Term intersection
English Word: 

  distanceOnPath

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 26021-26023
(domain distanceOnPath 1 ConstantQuantity) Mid-level-ontology.kif 26024-26024 The number 1 argument of distance on path is an instance of constant quantity
(domain distanceOnPath 2 Transitway) Mid-level-ontology.kif 26025-26025 The number 2 argument of distance on path is an instance of transitway
(instance distanceOnPath BinaryPredicate) Mid-level-ontology.kif 26020-26020 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 65814-65814

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 3404-3417
(=>
    (and
        (instance ?M HalfMarathon)
        (agent ?M ?H)
        (path ?M ?P)
        (distanceOnPath
            (MeasureFn ?N Mile) ?P))
    (equal ?N 13.1))
Sports.kif 307-314
(=>
    (and
        (instance ?M Marathon)
        (agent ?M ?H)
        (path ?M ?P)
        (distanceOnPath
            (MeasureFn ?N Mile) ?P))
    (equal ?N 26.2))
Sports.kif 293-300
(=>
    (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 3397-3402


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

Show without tree


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