headingWRTMagneticNorth - Sigma Knowledge base Browser

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 3696-3698
(domain headingWRTMagneticNorth 1 Object)	Geography.kif 3693-3693	The number 1 argument of headingWRT magnetic north is an instance of object
(domain headingWRTMagneticNorth 2 PlaneAngleMeasure)	Geography.kif 3694-3694	The number 2 argument of headingWRT magnetic north is an instance of plane angle measure
(instance headingWRTMagneticNorth AsymmetricRelation)	Geography.kif 3692-3692	headingWRT magnetic north is an instance of asymmetric relation
(instance headingWRTMagneticNorth BinaryPredicate)	Geography.kif 3691-3691	headingWRT magnetic north is an instance of binary predicate
(relatedInternalConcept headingWRTMagneticNorth courseWRTMagneticNorth)	Geography.kif 3772-3772	headingWRT magnetic north is internally related to courseWRT magnetic north

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 27736-27736
(termFormat ChineseTraditionalLanguage headingWRTMagneticNorth "headingWRT磁北")	domainEnglishFormat.kif 27735-27735
(termFormat EnglishLanguage headingWRTMagneticNorth "headingWRT magnetic north")	domainEnglishFormat.kif 27734-27734

consequent

(=> (and (instance ?AREA GeographicArea) (objectGeographicCoordinates ?AREA ?LAT ?LONG) (equal (MeasureFn ?DEG AngularDegree) (MagneticDeclinationFn ?LAT ?LONG))) (exists (?MN) (and (headingWRTMagneticNorth ?AREA (MeasureFn ?MN AngularDegree)) (headingWRTTrueNorth ?AREA (MeasureFn (AdditionFn ?MN ?DEG) AngularDegree)))))	Geography.kif 3780-3792	If an object is an instance of geographic area and the object is object geographic coordinates a latitude for a longitude and a real number angular degree(s) is equal to Location on Earth at Latitude the latitude and Longitude the longitude has a magnetic declination of PlaneAngleMeasure. (+) denotes easterly declination, (-) denotes westerly declination. zero value means at the agonic line., then there exists another real number such that the other real number angular degree(s) is a headingWRT magnetic north of the object and (the other real number and the real number) angular degree(s) is a headingWRT true north of the object
(=> (and (instance ?AREA GeographicArea) (objectGeographicCoordinates ?AREA ?LAT ?LONG) (equal (MeasureFn ?DEG AngularDegree) (MagneticDeclinationFn ?LAT ?LONG))) (exists (?TN) (and (headingWRTTrueNorth ?AREA (MeasureFn ?TN AngularDegree)) (headingWRTMagneticNorth ?AREA (MeasureFn (SubtractionFn ?TN ?DEG) AngularDegree)))))	Geography.kif 3796-3808	If an object is an instance of geographic area and the object is object geographic coordinates a latitude for a longitude and a real number angular degree(s) is equal to Location on Earth at Latitude the latitude and Longitude the longitude has a magnetic declination of PlaneAngleMeasure. (+) denotes easterly declination, (-) denotes westerly declination. zero value means at the agonic line., then there exists another real number such that the other real number angular degree(s) is a headingWRT true north of the object and (the other real number and the real number) angular degree(s) is a headingWRT magnetic north of the 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