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


KB Term:  Term intersection
English Word: 

  ToulonFrance

 Sigma KEE - courseWRTMagneticNorth
courseWRTMagneticNorth

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


(instance courseWRTMagneticNorth TernaryPredicate) Geography.kif 5319-5319 courseWRT magnetic north is an instance of ternary predicate
(domain courseWRTMagneticNorth 1 Physical) Geography.kif 5320-5320 The number 1 argument of courseWRT magnetic north is an instance of physical
(domain courseWRTMagneticNorth 2 Physical) Geography.kif 5321-5321 The number 2 argument of courseWRT magnetic north is an instance of physical
(domain courseWRTMagneticNorth 3 PlaneAngleMeasure) Geography.kif 5322-5322 The number 3 argument of courseWRT magnetic north is an instance of plane angle measure
(documentation courseWRTMagneticNorth EnglishLanguage "(courseWRTMagneticNorth ?OBJ1 ?OBJ2 ?HEADING) means that the course heading from ?OBJ1 to ?OBJ2 is ?HEADING in AngularDegrees, with the reference point of 000 degrees being the magnetic North pole.") Geography.kif 5324-5327 The number 3 argument of courseWRT magnetic north is an instance of plane angle measure

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


(relatedInternalConcept MagneticDeclinationFn courseWRTMagneticNorth) Geography.kif 5209-5209 Magnetic declination is internally related to courseWRT magnetic north
(relatedInternalConcept headingWRTMagneticNorth courseWRTMagneticNorth) Geography.kif 5212-5212 headingWRT magnetic north is internally related to courseWRT magnetic north
(format EnglishLanguage courseWRTMagneticNorth "%1 %n{doesn't} courseWRT magnetic north %2 for %3") domainEnglishFormat.kif 562-562 headingWRT magnetic north is internally related to courseWRT magnetic north
(format ChineseTraditionalLanguage courseWRTMagneticNorth "%1 %n{不是} 對於 %3 的 courseWRT 磁北 %2 ") domainEnglishFormat.kif 563-563 headingWRT magnetic north is internally related to courseWRT magnetic north
(format ChineseLanguage courseWRTMagneticNorth "%1 %n{不是} 對於 %3 的 courseWRT 磁北 %2") domainEnglishFormat.kif 564-564 headingWRT magnetic north is internally related to courseWRT magnetic north
(termFormat EnglishLanguage courseWRTMagneticNorth "courseWRT magnetic north") domainEnglishFormat.kif 17622-17622 headingWRT magnetic north is internally related to courseWRT magnetic north
(termFormat ChineseTraditionalLanguage courseWRTMagneticNorth "courseWRT北磁") domainEnglishFormat.kif 17623-17623 headingWRT magnetic north is internally related to courseWRT magnetic north
(termFormat ChineseLanguage courseWRTMagneticNorth "courseWRT北磁") domainEnglishFormat.kif 17624-17624 headingWRT magnetic north is internally related to courseWRT magnetic north


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners