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 24416-24418
(domain distanceOnPath 1 ConstantQuantity) Mid-level-ontology.kif 24419-24419 Il numero 1 argomenti di distanceOnPath è un istanza di Quantit�Costante
(domain distanceOnPath 2 Transitway) Mid-level-ontology.kif 24420-24420 Il numero 2 argomenti di distanceOnPath è un istanza di Transitway
(instance distanceOnPath BinaryPredicate) Mid-level-ontology.kif 24415-24415 distanceOnPath è un' istanza di PredicatoBinario

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 2851-2864
(=>
    (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 2844-2849


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