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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - headingWRTMagneticNorth
headingWRTMagneticNorth

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


(documentation headingWRTMagneticNorth EnglishLanguage "(headingWRTMagneticNorth ?OBJ ?DEGREE) means that the front-to-back axis of the Object ?OBJ points in the direction ?DEGREE, with respect to magnetic North.") Geography.kif 3708-3710
(domain headingWRTMagneticNorth 1 Object) Geography.kif 3705-3705 Le nombre 1 argument de headingWRTMagneticNorth est une instance de objet
(domain headingWRTMagneticNorth 2 PlaneAngleMeasure) Geography.kif 3706-3706 Le nombre 2 argument de headingWRTMagneticNorth est une instance de mesure de l'angle d'une surface
(instance headingWRTMagneticNorth AsymmetricRelation) Geography.kif 3704-3704 headingWRTMagneticNorth est une instance de relation asym�trique
(instance headingWRTMagneticNorth BinaryPredicate) Geography.kif 3703-3703 headingWRTMagneticNorth est une instance de pr�dicat binaire

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


(format ChineseLanguage headingWRTMagneticNorth "%2 %n 是 %1 的 headingWRT 磁北极") domainEnglishFormat.kif 1157-1157
(format ChineseTraditionalLanguage headingWRTMagneticNorth "%2 %n 是 %1 的 headingWRT 磁北極") domainEnglishFormat.kif 1156-1156
(format EnglishLanguage headingWRTMagneticNorth "%2 is %n a headingWRT magnetic north of %1") domainEnglishFormat.kif 1155-1155
(termFormat ChineseLanguage headingWRTMagneticNorth "headingWRT磁北") domainEnglishFormat.kif 27708-27708
(termFormat ChineseTraditionalLanguage headingWRTMagneticNorth "headingWRT磁北") domainEnglishFormat.kif 27707-27707
(termFormat EnglishLanguage headingWRTMagneticNorth "headingWRT magnetic north") domainEnglishFormat.kif 27706-27706


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