TreeView Knowledge Base Browser - GeographicCenterFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

GeographicCenterFn

Sigma KEE - GeographicCenterFn

GeographicCenterFn

appearance as argument number 1

(documentation GeographicCenterFn EnglishLanguage "(GeographicCenterFn ?REGION) denotes the geographical center of the GeographicArea ?REGION.")	Geography.kif 338-340
(domain GeographicCenterFn 1 GeographicArea)	Geography.kif 335-335	domain GeographicCenterFn, 1 and GeographicArea
(instance GeographicCenterFn UnaryFunction)	Geography.kif 333-333	instance GeographicCenterFn and UnaryFunction
(range GeographicCenterFn GeographicArea)	Geography.kif 336-336	range GeographicCenterFn and GeographicArea

appearance as argument number 2

(format ChineseLanguage GeographicCenterFn "%1 的 geographic 中心")	domainEnglishFormat.kif 1093-1093
(format ChineseTraditionalLanguage GeographicCenterFn "%1 的 geographic 中心")	domainEnglishFormat.kif 1092-1092
(format EnglishLanguage GeographicCenterFn "the geographic center of %1")	domainEnglishFormat.kif 1091-1091
(names "geographic center" GeographicCenterFn)	Geography.kif 334-334	names "geographic center" and GeographicCenterFn
(termFormat ChineseLanguage GeographicCenterFn "地理中心")	domainEnglishFormat.kif 25761-25761
(termFormat ChineseTraditionalLanguage GeographicCenterFn "地理中心")	domainEnglishFormat.kif 25760-25760
(termFormat EnglishLanguage GeographicCenterFn "geographic center")	domainEnglishFormat.kif 25759-25759

antecedent

(=> (and (instance ?REGION GeographicArea) (instance (GeographicCenterFn ?REGION) GeographicArea)) (geographicSubregion (GeographicCenterFn ?REGION) ?REGION))	Geography.kif 342-346	instance GeographicArea and GeographicArea instance GeographicCenterFn GeographicArea and GeographicArea geographicSubregion GeographicCenterFn GeographicArea and GeographicArea
(=> (and (instance ?REGION GeographicArea) (objectGeographicCoordinates (GeographicCenterFn ?REGION) ?LAT ?LONG)) (objectGeographicCoordinates ?REGION ?LAT ?LONG))	Geography.kif 348-353	instance GeographicArea and GeographicArea objectGeographicCoordinates GeographicCenterFn GeographicArea, Latitude and Longitude objectGeographicCoordinates GeographicArea, Latitude and Longitude

consequent

(=> (and (instance ?DIRECTION DirectionalAttribute) (instance ?AREA GeographicArea) (instance (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea)) (orientation (DirectionalSubregionFn ?DIRECTION ?AREA) (GeographicCenterFn ?AREA) ?DIRECTION))	Geography.kif 500-505	instance DirectionalAttribute and DirectionalAttribute instance GeographicArea and GeographicArea instance DirectionalSubregionFn DirectionalAttribute and GeographicArea and GeographicArea orientation DirectionalSubregionFn DirectionalAttribute and GeographicArea, GeographicCenterFn GeographicArea and DirectionalAttribute
(=> (and (instance ?REGION GeographicArea) (instance (GeographicCenterFn ?REGION) GeographicArea)) (geographicSubregion (GeographicCenterFn ?REGION) ?REGION))	Geography.kif 342-346	instance GeographicArea and GeographicArea instance GeographicCenterFn GeographicArea and GeographicArea geographicSubregion GeographicCenterFn GeographicArea and GeographicArea

statement

(objectGeographicCoordinates
    (GeographicCenterFn SouthernOcean)
    (LatitudeFn South
        (MeasureFn 65.0 AngularDegree)
        (MeasureFn 0.0 ArcMinute))
    (LongitudeFn East
        (MeasureFn 0.0 AngularDegree)
        (MeasureFn 0.0 ArcMinute)))

Geography.kif 4561-4568

objectGeographicCoordinates GeographicCenterFn SouthernOcean, LatitudeFn South, MeasureFn 65.0 and AngularDegree and MeasureFn 0.0 and ArcMinute and LongitudeFn East, MeasureFn 0.0 and AngularDegree and MeasureFn 0.0 and ArcMinute

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 is open source software produced by Articulate Software and its partners