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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 3884-3887
(domain courseWRTTrueNorth 1 Physical) Geography.kif 3880-3880 courseWRTTrueNorth の数値 1 引数は 物理 の instance では
(domain courseWRTTrueNorth 2 Physical) Geography.kif 3881-3881 courseWRTTrueNorth の数値 2 引数は 物理 の instance では
(domain courseWRTTrueNorth 3 PlaneAngleMeasure) Geography.kif 3882-3882 courseWRTTrueNorth の数値 3 引数は 平面角度測定 の instance では
(instance courseWRTTrueNorth TernaryPredicate) Geography.kif 3879-3879 courseWRTTrueNorth は 3進述語 の instance では

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
(names "geodetic north" courseWRTTrueNorth) Geography.kif 4009-4009 courseWRTTrueNorth は "geodetic north" の &ames$"name" を 持って
(names "geographic north" courseWRTTrueNorth) Geography.kif 4008-4008 courseWRTTrueNorth は "geographic north" の &ames$"name" を 持って
(names "true north" courseWRTTrueNorth) Geography.kif 4010-4010 courseWRTTrueNorth は "true north" の &ames$"name" を 持って
(relatedInternalConcept MagneticDeclinationFn courseWRTTrueNorth) Geography.kif 3940-3940 MagneticDeclinationFn は courseWRTTrueNorth に internally 関連して
(relatedInternalConcept headingWRTTrueNorth courseWRTTrueNorth) Geography.kif 3943-3943 headingWRTTrueNorth は courseWRTTrueNorth に internally 関連して
(termFormat ChineseLanguage courseWRTTrueNorth "courseWRT 真北") domainEnglishFormat.kif 17637-17637 headingWRTTrueNorth は courseWRTTrueNorth に internally 関連して
(termFormat ChineseTraditionalLanguage courseWRTTrueNorth "courseWRT 真北") domainEnglishFormat.kif 17636-17636 headingWRTTrueNorth は courseWRTTrueNorth に internally 関連して
(termFormat EnglishLanguage courseWRTTrueNorth "courseWRT true north") domainEnglishFormat.kif 17635-17635 headingWRTTrueNorth は courseWRTTrueNorth に internally 関連して

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


(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 0.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))		 Geography.kif 3889-3891 courseWRTTrueNorth オブジェクト, オブジェクト and 0.0 の AngularDegree(s) オブジェクト は North 対 オブジェクト では
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 135.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southeast))		 Geography.kif 3913-3915 courseWRTTrueNorth オブジェクト, オブジェクト and 135.0 の AngularDegree(s) オブジェクト は Southeast 対 オブジェクト では
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 180.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 South))		 Geography.kif 3897-3899 courseWRTTrueNorth オブジェクト, オブジェクト and 180.0 の AngularDegree(s) オブジェクト は South 対 オブジェクト では
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 225.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southwest))		 Geography.kif 3917-3919 courseWRTTrueNorth オブジェクト, オブジェクト and 225.0 の AngularDegree(s) オブジェクト は Southwest 対 オブジェクト では
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 270.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 West))		 Geography.kif 3901-3903 courseWRTTrueNorth オブジェクト, オブジェクト and 270.0 の AngularDegree(s) オブジェクト は West 対 オブジェクト では
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 315.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northwest))		 Geography.kif 3921-3923 courseWRTTrueNorth オブジェクト, オブジェクト and 315.0 の AngularDegree(s) オブジェクト は Northwest 対 オブジェクト では
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 360.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))		 Geography.kif 3905-3907 courseWRTTrueNorth オブジェクト, オブジェクト and 360.0 の AngularDegree(s) オブジェクト は North 対 オブジェクト では
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 45.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northeast))		 Geography.kif 3909-3911 courseWRTTrueNorth オブジェクト, オブジェクト and 45.0 の AngularDegree(s) オブジェクト は Northeast 対 オブジェクト では
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 90.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 East))		 Geography.kif 3893-3895 courseWRTTrueNorth オブジェクト, オブジェクト and 90.0 の AngularDegree(s) オブジェクト は East 対 オブジェクト では


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