TreeView Knowledge Base Browser

appearance as argument number 1

(documentation LatitudeFn EnglishLanguage "LatitudeFn is a VariableArityRelation used to denote a parallel of latitude. Examples: (LatitudeFn North (MeasureFn 38 AngularDegree)), (LatitudeFn South (MeasureFn 23 AngularDegree) (MeasureFn 30 ArcMinute)), (LatitudeFn South (MeasureFn 60 AngularDegree) (MeasureFn 0 ArcMinute) (MeasureFn 0 ArcSecond)), (LatitudeFn North (MeasureFn 42 AngularDegree) (MeasureFn 7.89 ArcMinute)).")	Geography.kif 413-419
(domain LatitudeFn 1 DirectionalAttribute)	Geography.kif 406-406	The number 1 argument of latitude is an instance of directional attribute
(domain LatitudeFn 2 AngleMeasure)	Geography.kif 407-407	The number 2 argument of latitude is an instance of angle measure
(domain LatitudeFn 3 AngleMeasure)	Geography.kif 408-408	The number 3 argument of latitude is an instance of angle measure
(domain LatitudeFn 4 AngleMeasure)	Geography.kif 409-409	The number 4 argument of latitude is an instance of angle measure
(instance LatitudeFn Function)	Geography.kif 405-405	Latitude is an instance of function
(instance LatitudeFn VariableArityRelation)	Geography.kif 404-404	Latitude is an instance of variable arity relation
(range LatitudeFn Region)	Geography.kif 410-410	The range of latitude is an instance of region

appearance as argument number 2

(format ChineseLanguage LatitudeFn "%2 的 region %1 ")	domainEnglishFormat.kif 3739-3739
(format ChineseTraditionalLanguage LatitudeFn "%2 的 region %1 ")	domainEnglishFormat.kif 3738-3738
(format EnglishLanguage LatitudeFn "the region %1 of %2")	domainEnglishFormat.kif 3737-3737
(termFormat ChineseLanguage LatitudeFn "纬度")	domainEnglishFormat.kif 33403-33403
(termFormat ChineseTraditionalLanguage LatitudeFn "緯度")	domainEnglishFormat.kif 33402-33402
(termFormat EnglishLanguage LatitudeFn "Latitude")	Geography.kif 411-411
(termFormat EnglishLanguage LatitudeFn "latitude")	domainEnglishFormat.kif 33401-33401

antecedent

(=> (and (instance (LatitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 90))	Geography.kif 427-431	If the region a directional attribute of @ROW is an instance of region and 1th element of (@ROW) is equal to a real number angular degree(s), then the real number is less than or equal to 90
(=> (instance (LatitudeFn ?DIRECTION @ROW) Region) (or (equal ?DIRECTION North) (equal ?DIRECTION South)))	Geography.kif 421-425	If the region a directional attribute of @ROW is an instance of region, then the directional attribute is equal to north or the directional attribute is equal to south

consequent

(=>
    (or
        (equal ?DIRECTION North)
        (equal ?DIRECTION South))
    (length
        (LatitudeFn ?DIRECTION
            (MeasureFn 0 AngularDegree)
            (MeasureFn 1 ArcMinute)
            (MeasureFn 0 ArcSecond))
        (MeasureFn 1 NauticalMile)))

Geography.kif 433-440

statement

Geography.kif 4390-4392