headingWRTTrueNorth - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - headingWRTTrueNorth

headingWRTTrueNorth

appearance as argument number 1

(documentation headingWRTTrueNorth EnglishLanguage "(headingWRTTrueNorth ?OBJ ?DEGREE) means that the front_to_back axis of the Object ?OBJ points in the direction ?DEGREE, with respect to true North.")	Geography.kif 3687-3689
(domain headingWRTTrueNorth 1 Object)	Geography.kif 3684-3684	The number 1 argument of headingWRT true north is an instance of object
(domain headingWRTTrueNorth 2 PlaneAngleMeasure)	Geography.kif 3685-3685	The number 2 argument of headingWRT true north is an instance of plane angle measure
(instance headingWRTTrueNorth AsymmetricRelation)	Geography.kif 3683-3683	headingWRT true north is an instance of asymmetric relation
(instance headingWRTTrueNorth BinaryPredicate)	Geography.kif 3682-3682	headingWRT true north is an instance of binary predicate
(relatedInternalConcept headingWRTTrueNorth courseWRTTrueNorth)	Geography.kif 3773-3773	headingWRT true north is internally related to courseWRT true north

appearance as argument number 2

(format ChineseLanguage headingWRTTrueNorth "%2 %n 是 %1 的 headingWRT 实际北极")	domainEnglishFormat.kif 1161-1161
(format ChineseTraditionalLanguage headingWRTTrueNorth "%2 %n 是 %1 的 headingWRT 實際北極")	domainEnglishFormat.kif 1160-1160
(format EnglishLanguage headingWRTTrueNorth "%2 is %n a headingWRT true north of %1")	domainEnglishFormat.kif 1159-1159
(relatedInternalConcept NorthPole headingWRTTrueNorth)	Geography.kif 3822-3822	North Pole is internally related to headingWRT true north
(termFormat ChineseLanguage headingWRTTrueNorth "headingWRT真北")	domainEnglishFormat.kif 27742-27742	North Pole is internally related to headingWRT true north
(termFormat ChineseTraditionalLanguage headingWRTTrueNorth "headingWRT真北")	domainEnglishFormat.kif 27741-27741	North Pole is internally related to headingWRT true north
(termFormat EnglishLanguage headingWRTTrueNorth "headingWRT true north")	domainEnglishFormat.kif 27740-27740	North Pole is internally related to headingWRT true north

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