objectGeographicCoordinates
|
|
Sigma KEE - objectGeographicCoordinates
objectGeographicCoordinates |
appearance as argument number 1
|
|
appearance as argument number 2
|
|
antecedent
|
|
consequent
|
|
(=>
(and
(instance ?PLACE GeographicArea)
(located ?PLACE ?T)
(instance ?T Tropics))
(exists (?NUM1 ?LONG ?DIR ?NUM2 ?U)
(and
(objectGeographicCoordinates ?PLACE
(MeasureFn ?NUM1 ?U) ?LONG)
(instance ?U UnitOfAngularMeasure)
(lessThan ?NUM1 ?NUM2)
(equal
(MeasureFn ?NUM2 ?U)
(LatitudeFn ?DIR
(MeasureFn 23.0 AngularDegree)
(MeasureFn 26.0 ArcMinute)
(MeasureFn 11.5 ArcSecond)))
(instance ?DIR DirectionalAttribute)
(or
(equal ?DIR North)
(equal ?DIR South))))) |
Geography.kif 3595-3615 |
- Wenn Object ist ein fall von GeographicArea %n{nicht} und ** Object befindet sich an %n{nicht} und ** Object ist ein fall von Tropics %n{nicht},
- dann es gibt RealNumber, Longitude,, , DirectionalAttribute,, , ** RealNumber, and und UnitOfMeasure um objectGeographicCoordinates ** Object, ** RealNumber ** UnitOfMeasure(s) and ** Longitude und ** UnitOfMeasure ist ein fall von UnitOfAngularMeasure %n{nicht} und ** RealNumber ist kleinerAls ** ** RealNumber %n{nicht} und ** ** RealNumber ** UnitOfMeasure(s) ist gleich LatitudeFn ** DirectionalAttribute, 23.0 AngularDegree(s), 26.0 ArcMinute(s) and 11.5 ArcSecond(s) %n{nicht} und ** DirectionalAttribute ist ein fall von DirectionalAttribute %n{nicht} und ** DirectionalAttribute ist gleich North %n{nicht} oder ** DirectionalAttribute ist gleich South %n{nicht}
|
(=>
(and
(instance ?REGION GeographicArea)
(objectGeographicCoordinates
(GeographicCenterFn ?REGION) ?LAT ?LONG))
(objectGeographicCoordinates ?REGION ?LAT ?LONG)) |
Geography.kif 348-353 |
|
(=>
(and
(instance ?TC TropicalCyclonicSystem)
(origin ?TC ?SEA)
(or
(instance ?SEA NorthAtlanticOcean)
(instance ?SEA PacificOcean)
(instance ?SEA IndianOcean)))
(not
(exists (?AREA ?DIR ?NUM ?LONG)
(and
(located ?AREA ?SEA)
(instance ?DIR DirectionalAttribute)
(objectGeographicCoordinates ?AREA
(LatitudeFn ?DIR
(MeasureFn ?NUM AngularDegree)) ?LONG)
(or
(equal ?DIR North)
(equal ?DIR South))
(lessThan ?NUM 5.0))))) |
Weather.kif 611-630 |
|
|