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 24249-24251
(domain distanceOnPath 1 ConstantQuantity) Mid-level-ontology.kif 24252-24252
(domain distanceOnPath 2 Transitway) Mid-level-ontology.kif 24253-24253
(instance distanceOnPath BinaryPredicate) Mid-level-ontology.kif 24248-24248

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


(format ChineseLanguage distanceOnPath "%2 的 distance 是 %1 ") domainEnglishFormat.kif 3282-3282
(format ChineseTraditionalLanguage distanceOnPath "%2 的 distance 是 %1 ") domainEnglishFormat.kif 3281-3281
(format EnglishLanguage distanceOnPath "the distance of %2 is %1") domainEnglishFormat.kif 3280-3280
(termFormat EnglishLanguage distanceOnPath "distance on path") domainEnglishFormat.kif 66282-66282

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 2806-2819
(=>
    (and
        (instance ?M HalfMarathon)
        (agent ?M ?H)
        (path ?M ?P)
        (distanceOnPath
            (MeasureFn ?N Mile) ?P))
    (equal ?N 13.1))
Sports.kif 294-301
(=>
    (and
        (instance ?M Marathon)
        (agent ?M ?H)
        (path ?M ?P)
        (distanceOnPath
            (MeasureFn ?N Mile) ?P))
    (equal ?N 26.2))
Sports.kif 280-287
(=>
    (distanceOnPath ?DIST ?PATH)
    (exists (?GP)
        (and
            (instance ?GP GraphPath)
            (abstractCounterpart ?GP ?PATH))))
Transportation.kif 2799-2804


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