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 Le nombre 1 argument de courseWRTTrueNorth est une instance de physique
(domain courseWRTTrueNorth 2 Physical) Geography.kif 3881-3881 Le nombre 2 argument de courseWRTTrueNorth est une instance de physique
(domain courseWRTTrueNorth 3 PlaneAngleMeasure) Geography.kif 3882-3882 Le nombre 3 argument de courseWRTTrueNorth est une instance de mesure de l'angle d'une surface
(instance courseWRTTrueNorth TernaryPredicate) Geography.kif 3879-3879 courseWRTTrueNorth est une instance de pr�dicat ternaire

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 s'appele &ames$"nom" "geodetic north"
(names "geographic north" courseWRTTrueNorth) Geography.kif 4008-4008 courseWRTTrueNorth s'appele &ames$"nom" "geographic north"
(names "true north" courseWRTTrueNorth) Geography.kif 4010-4010 courseWRTTrueNorth s'appele &ames$"nom" "true north"
(relatedInternalConcept MagneticDeclinationFn courseWRTTrueNorth) Geography.kif 3940-3940 MagneticDeclinationFn est reli� � l'int�rieur de SUMO � courseWRTTrueNorth
(relatedInternalConcept headingWRTTrueNorth courseWRTTrueNorth) Geography.kif 3943-3943 headingWRTTrueNorth est reli� � l'int�rieur de SUMO � courseWRTTrueNorth
(termFormat ChineseLanguage courseWRTTrueNorth "courseWRT 真北") domainEnglishFormat.kif 17637-17637 headingWRTTrueNorth est reli� � l'int�rieur de SUMO � courseWRTTrueNorth
(termFormat ChineseTraditionalLanguage courseWRTTrueNorth "courseWRT 真北") domainEnglishFormat.kif 17636-17636 headingWRTTrueNorth est reli� � l'int�rieur de SUMO � courseWRTTrueNorth
(termFormat EnglishLanguage courseWRTTrueNorth "courseWRT true north") domainEnglishFormat.kif 17635-17635 headingWRTTrueNorth est reli� � l'int�rieur de SUMO � courseWRTTrueNorth

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


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


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