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 24416-24418
(domain distanceOnPath 1 ConstantQuantity) Mid-level-ontology.kif 24419-24419 distanceOnPath 的 1 数量 是 恒量 的 instance
(domain distanceOnPath 2 Transitway) Mid-level-ontology.kif 24420-24420 distanceOnPath 的 2 数量 是 公交专用道 的 instance
(instance distanceOnPath BinaryPredicate) Mid-level-ontology.kif 24415-24415 distanceOnPath 是 二元谓语 的 instance

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


(format ChineseLanguage distanceOnPath "%2 的 distance 是 %1 ") domainEnglishFormat.kif 3278-3278
(format ChineseTraditionalLanguage distanceOnPath "%2 的 distance 是 %1 ") domainEnglishFormat.kif 3277-3277
(format EnglishLanguage distanceOnPath "the distance of %2 is %1") domainEnglishFormat.kif 3276-3276
(termFormat EnglishLanguage distanceOnPath "distance on path") domainEnglishFormat.kif 65816-65816

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 2839-2852
(=>
    (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
(=>
    (distanceOnPath ?DIST ?PATH)
    (exists (?GP)
        (and
            (instance ?GP GraphPath)
            (abstractCounterpart ?GP ?PATH))))		 Transportation.kif 2832-2837


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