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

Formal Language: 



KB Term:  Term intersection
English Word: 

  courseWRTTrueNorth

Sigma KEE - courseWRTTrueNorth
courseWRTTrueNorth

appearance as argument number 1
-------------------------


(documentation courseWRTTrueNorth EnglishLanguage "(courseWRTTrueNorth ?OBJ1 ?OBJ2 ?HEADING) means that the course heading or track from ?OBJ1 to ?OBJ2 is ?HEADING, in AngularDegrees, with the reference point of 000 degrees being true North.") Geography.kif 3726-3729
(domain courseWRTTrueNorth 1 Physical) Geography.kif 3722-3722 courseWRTTrueNorth の数値 1 引数は 物理instance では %n
(domain courseWRTTrueNorth 2 Physical) Geography.kif 3723-3723 courseWRTTrueNorth の数値 2 引数は 物理instance では %n
(domain courseWRTTrueNorth 3 PlaneAngleMeasure) Geography.kif 3724-3724 courseWRTTrueNorth の数値 3 引数は 平面角度測定instance では %n
(instance courseWRTTrueNorth TernaryPredicate) Geography.kif 3721-3721 courseWRTTrueNorth3進述語instance では %n

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


(format ChineseLanguage courseWRTTrueNorth "%1 %n{不} 对于 %3 courseWRT 实际北") domainEnglishFormat.kif 568-568
(format ChineseTraditionalLanguage courseWRTTrueNorth "%1 %n{不} 對於 %3 courseWRT 實際北") domainEnglishFormat.kif 567-567
(format EnglishLanguage courseWRTTrueNorth "%1 %n{doesn't} courseWRT true north %2 for %3") domainEnglishFormat.kif 566-566
(termFormat ChineseLanguage courseWRTTrueNorth "courseWRT 真北") domainEnglishFormat.kif 17628-17628
(termFormat ChineseTraditionalLanguage courseWRTTrueNorth "courseWRT 真北") domainEnglishFormat.kif 17627-17627
(termFormat EnglishLanguage courseWRTTrueNorth "courseWRT true north") domainEnglishFormat.kif 17626-17626

antecedent
-------------------------


(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 0.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))
Geography.kif 3731-3733 courseWRTTrueNorth オブジェクト, オブジェクト and 0.0 の AngularDegree(s) オブジェクトNorth オブジェクト では %n
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 135.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southeast))
Geography.kif 3755-3757 courseWRTTrueNorth オブジェクト, オブジェクト and 135.0 の AngularDegree(s) オブジェクトSoutheast オブジェクト では %n
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 180.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 South))
Geography.kif 3739-3741 courseWRTTrueNorth オブジェクト, オブジェクト and 180.0 の AngularDegree(s) オブジェクトSouth オブジェクト では %n
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 225.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southwest))
Geography.kif 3759-3761 courseWRTTrueNorth オブジェクト, オブジェクト and 225.0 の AngularDegree(s) オブジェクトSouthwest オブジェクト では %n
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 270.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 West))
Geography.kif 3743-3745 courseWRTTrueNorth オブジェクト, オブジェクト and 270.0 の AngularDegree(s) オブジェクトWest オブジェクト では %n
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 315.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northwest))
Geography.kif 3763-3765 courseWRTTrueNorth オブジェクト, オブジェクト and 315.0 の AngularDegree(s) オブジェクトNorthwest オブジェクト では %n
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 360.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))
Geography.kif 3747-3749 courseWRTTrueNorth オブジェクト, オブジェクト and 360.0 の AngularDegree(s) オブジェクトNorth オブジェクト では %n
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 45.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northeast))
Geography.kif 3751-3753 courseWRTTrueNorth オブジェクト, オブジェクト and 45.0 の AngularDegree(s) オブジェクトNortheast オブジェクト では %n
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 90.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 East))
Geography.kif 3735-3737 courseWRTTrueNorth オブジェクト, オブジェクト and 90.0 の AngularDegree(s) オブジェクトEast オブジェクト では %n


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