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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 22048-22050
(domain distanceOnPath 1 ConstantQuantity) Mid-level-ontology.kif 22051-22051
(domain distanceOnPath 2 Transitway) Mid-level-ontology.kif 22052-22052
(instance distanceOnPath BinaryPredicate) Mid-level-ontology.kif 22047-22047

appearance as argument number 2

(format EnglishLanguage distanceOnPath "the distance of %2 is %1") domainEnglishFormat.kif 829-829


        (distanceOnPath ?DIST ?PATH)
        (pathInSystem ?PATH ?SYS)
        (routeStart ?START ?PATH)
        (routeEnd ?END ?PATH)
        (abstractCounterpart ?GRAPH ?SYS))
    (exists (?S ?BN ?EN)
            (subGraph ?S ?GRAPH)
            (equal ?BN
                (BeginNodeFn ?GRAPH))
            (equal ?EN
                (EndNodeFn ?GRAPH))
            (abstractCounterpart ?BN ?START)
            (abstractCounterpart ?EN ?END))))
Transportation.kif 2720-2733
    (distanceOnPath ?DIST ?PATH)
    (exists (?GP)
            (instance ?GP GraphPath)
            (abstractCounterpart ?GP ?PATH))))
Transportation.kif 2713-2718

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners