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 The number 1 argument of courseWRT true north is an instance of physical
(domain courseWRTTrueNorth 2 Physical) Geography.kif 3881-3881 The number 2 argument of courseWRT true north is an instance of physical
(domain courseWRTTrueNorth 3 PlaneAngleMeasure) Geography.kif 3882-3882 The number 3 argument of courseWRT true north is an instance of plane angle measure
(instance courseWRTTrueNorth TernaryPredicate) Geography.kif 3879-3879 courseWRT true north is an instance of ternary predicate

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 courseWRT true north has &ames$"name" "geodetic north"
(names "geographic north" courseWRTTrueNorth) Geography.kif 4008-4008 courseWRT true north has &ames$"name" "geographic north"
(names "true north" courseWRTTrueNorth) Geography.kif 4010-4010 courseWRT true north has &ames$"name" "true north"
(relatedInternalConcept MagneticDeclinationFn courseWRTTrueNorth) Geography.kif 3940-3940 Magnetic declination is internally related to courseWRT true north
(relatedInternalConcept headingWRTTrueNorth courseWRTTrueNorth) Geography.kif 3943-3943 headingWRT true north is internally related to courseWRT true north
(termFormat ChineseLanguage courseWRTTrueNorth "courseWRT 真北") domainEnglishFormat.kif 17637-17637 headingWRT true north is internally related to courseWRT true north
(termFormat ChineseTraditionalLanguage courseWRTTrueNorth "courseWRT 真北") domainEnglishFormat.kif 17636-17636 headingWRT true north is internally related to courseWRT true north
(termFormat EnglishLanguage courseWRTTrueNorth "courseWRT true north") domainEnglishFormat.kif 17635-17635 headingWRT true north is internally related to courseWRT true north

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


(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 0.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))		 Geography.kif 3889-3891 An object courseWRT true north another object for 0.0 angular degree(s) if and only if the object is north to the other object
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 135.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southeast))		 Geography.kif 3913-3915 An object courseWRT true north another object for 135.0 angular degree(s) if and only if the object is southeast to the other object
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 180.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 South))		 Geography.kif 3897-3899 An object courseWRT true north another object for 180.0 angular degree(s) if and only if the object is south to the other object
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 225.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southwest))		 Geography.kif 3917-3919 An object courseWRT true north another object for 225.0 angular degree(s) if and only if the object is southwest to the other object
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 270.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 West))		 Geography.kif 3901-3903 An object courseWRT true north another object for 270.0 angular degree(s) if and only if the object is west to the other object
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 315.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northwest))		 Geography.kif 3921-3923 An object courseWRT true north another object for 315.0 angular degree(s) if and only if the object is northwest to the other object
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 360.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))		 Geography.kif 3905-3907 An object courseWRT true north another object for 360.0 angular degree(s) if and only if the object is north to the other object
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 45.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northeast))		 Geography.kif 3909-3911 An object courseWRT true north another object for 45.0 angular degree(s) if and only if the object is northeast to the other object
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 90.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 East))		 Geography.kif 3893-3895 An object courseWRT true north another object for 90.0 angular degree(s) if and only if the object is east to the other object


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