GeographicArea
(secteur g�ographique)
(=>
(
and
(
instance
?OBJ1
GeographicArea
)
(
instance
?OBJ2
GeographicArea
))
(
equal
(
BorderFn
?OBJ1 ?OBJ2)
(
BorderFn
?OBJ2 ?OBJ1)))
Geography.kif 699-703
Secteur g�ographique
est une
instance
de
secteur g�ographique
secteur g�ographique
est une
instance
de
secteur g�ographique
BorderFn
secteur g�ographique
and
secteur g�ographique
est
BorderFn
secteur g�ographique
and
secteur g�ographique
(=>
(
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
Objet
est une
instance
de
secteur g�ographique
objet
est
situ
� �
objet
objet
est une
instance
de
Tropics
nombre r�el
Longitude
,
attribut directionnel
,
nombre r�el
and
unit� de mesure
objectGeographicCoordinates
objet
,
nombre r�el
unit� de mesure
(s) and
Longitude
unit� de mesure
est une
instance
de
UnitOfAngularMeasure
nombre r�el
est
moins
que
nombre r�el
nombre r�el
unit� de mesure
(s) est
LatitudeFn
attribut directionnel
, 23.0
AngularDegree
(s), 26.0
ArcMinute
(s) and 11.5
ArcSecond
(s)
attribut directionnel
est une
instance
de
attribut directionnel
attribut directionnel
est
North
attribut directionnel
est
South
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
instance
(
GeographicCenterFn
?REGION)
GeographicArea
))
(
geographicSubregion
(
GeographicCenterFn
?REGION) ?REGION))
Geography.kif 342-346
Secteur g�ographique
est une
instance
de
secteur g�ographique
GeographicCenterFn
secteur g�ographique
est une
instance
de
secteur g�ographique
geographicSubregion
GeographicCenterFn
secteur g�ographique
and
secteur g�ographique
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
located
?REGION
AntarcticArea
))
(
exists
(?DAY)
(
and
(
instance
?DAY
Day
)
(
holdsDuring
?DAY
(
not
(
attribute
?REGION
Illuminated
))))))
Geography.kif 3631-3640
Physique
est une
instance
de
secteur g�ographique
physique
est
situ
� �
AntarcticArea
position temporel
position temporel
est une
instance
de
jour
Illuminated
est un
attribut
de
physique
pendant
position temporel
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
located
?REGION
ArcticRegion
))
(
exists
(?DAY)
(
and
(
instance
?DAY
Day
)
(
holdsDuring
?DAY
(
not
(
attribute
?REGION
Illuminated
))))))
Geography.kif 3570-3579
Physique
est une
instance
de
secteur g�ographique
physique
est
situ
� �
ArcticRegion
position temporel
position temporel
est une
instance
de
jour
Illuminated
est un
attribut
de
physique
pendant
position temporel
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
objectGeographicCoordinates
(
GeographicCenterFn
?REGION) ?LAT ?LONG))
(
objectGeographicCoordinates
?REGION ?LAT ?LONG))
Geography.kif 348-353
Secteur g�ographique
est une
instance
de
secteur g�ographique
objectGeographicCoordinates
GeographicCenterFn
secteur g�ographique
,
Latitude
and
Longitude
objectGeographicCoordinates
secteur g�ographique
,
Latitude
and
Longitude
(=>
(
and
(
instance
?T
Typhoon
)
(
eventLocated
?T ?P)
(
instance
?P
GeographicArea
))
(
or
(
located
?P
NorthwesternPacificOcean
)
(
meetsSpatially
?P
NorthwesternPacificOcean
)))
Weather.kif 783-790
Processus
est une
instance
de
Typhoon
eventLocated
processus
and
objet
objet
est une
instance
de
secteur g�ographique
objet
est
situ
� �
NorthwesternPacificOcean
objet
rencontre
NorthwesternPacificOcean
(=>
(
and
(
instance
?TC
TropicalCyclone
)
(
destination
?TC ?DEST)
(
instance
?DEST
GeographicArea
))
(
not
(
exists
(?L ?SL ?X)
(
and
(
instance
?L
LandArea
)
(
instance
?SL
Shoreline
)
(
located
?DEST ?L)
(
distance
?L ?SL
(
MeasureFn
?X
Mile
))
(
greaterThan
?X 200.0)))))
Weather.kif 689-702
Processus
est une
instance
de
TropicalCyclone
processus
aboutit
�
physique
physique
est une
instance
de
secteur g�ographique
objet
physique
and
nombre r�el
objet
est une
instance
de
zone de terre
physique
est une
instance
de
Shoreline
physique
est
situ
� �
objet
la
distance
entre
objet
et
physique
est
nombre r�el
Mile
(s)
nombre r�el
est
plus
grand
que 200.0
(=>
(
and
(
instance
?area
GeographicArea
)
(
groundSurfaceType
?area
Loam
))
(
attribute
?area
FertileTerrain
))
Geography.kif 4355-4359
Zone de terre
est une
instance
de
secteur g�ographique
groundSurfaceType
zone de terre
and
Loam
FertileTerrain
est un
attribut
de
zone de terre
(=>
(
and
(
instance
?area
GeographicArea
)
(
groundSurfaceType
?area
Rock
))
(
not
(
attribute
?area
FertileTerrain
)))
Geography.kif 1824-1828
Zone de terre
est une
instance
de
secteur g�ographique
groundSurfaceType
zone de terre
and
Rock
FertileTerrain
est un
attribut
de
zone de terre
(=>
(
and
(
not
(
vegetationType
?REGION ?TYPE))
(
subclass
?TYPE
Plant
)
(
instance
?REGION
GeographicArea
))
(
not
(
exists
(?PLANT)
(
and
(
instance
?PLANT ?TYPE)
(
located
?PLANT ?REGION)))))
Geography.kif 6201-6209
vegetationType
secteur g�ographique
and
plante
plante
est une
sous
-classe de
plante
secteur g�ographique
est une
instance
de
secteur g�ographique
physique
physique
est une
instance
de
plante
physique
est
situ
� �
secteur g�ographique
(=>
(
and
(
partlyLocated
?PLACE ?SUBAREA)
(
instance
?SUBAREA
GeographicArea
)
(
geographicSubregion
?SUBAREA ?AREA))
(
partlyLocated
?PLACE ?AREA))
Geography.kif 507-512
Physique
est
partiellement
localis� �
secteur g�ographique
secteur g�ographique
est une
instance
de
secteur g�ographique
geographicSubregion
secteur g�ographique
and
secteur g�ographique
physique
est
partiellement
localis� �
secteur g�ographique
(=>
(
and
(
subclass
?TYPE
Process
)
(
instance
?EVENT ?TYPE)
(
eventLocated
?EVENT ?REGION)
(
instance
?ROLE
CaseRole
)
(
instance
?OBJECT
Object
)
(
instance
?REGION
GeographicArea
)
(?ROLE ?EVENT ?OBJECT))
(
capableAtLocation
?TYPE ?ROLE ?OBJECT ?REGION))
Transportation.kif 2692-2701
Processus
est une
sous
-classe de
processus
processus
est une
instance
de
processus
eventLocated
processus
and
r�gion
r�le d�pendant du cas
est une
instance
de
r�le d�pendant du cas
objet
est une
instance
de
objet
r�gion
est une
instance
de
secteur g�ographique
r�le d�pendant du cas
processus
and
objet
capableAtLocation
processus
,
r�le d�pendant du cas
,
objet
and
r�gion
(=>
(
and
(
vegetationType
?REGION ?TYPE)
(
subclass
?TYPE
Plant
)
(
instance
?REGION
GeographicArea
))
(
exists
(?PLANT)
(
and
(
instance
?PLANT ?TYPE)
(
located
?PLANT ?REGION))))
Geography.kif 6191-6199
vegetationType
secteur g�ographique
and
plante
plante
est une
sous
-classe de
plante
secteur g�ographique
est une
instance
de
secteur g�ographique
physique
physique
est une
instance
de
plante
physique
est
situ
� �
secteur g�ographique
(=>
(
instance
(
BorderFn
?AREA1 ?AREA2)
GeographicArea
)
(
meetsSpatially
?AREA1 ?AREA2))
Geography.kif 695-697
BorderFn
secteur g�ographique
and
secteur g�ographique
est une
instance
de
secteur g�ographique
secteur g�ographique
rencontre
secteur g�ographique
(=>
(
instance
(
BorderFn
?AREA1 ?AREA2)
GeographicArea
)
(
orientation
?AREA1 ?AREA2
Adjacent
))
Geography.kif 712-714
BorderFn
secteur g�ographique
and
secteur g�ographique
est une
instance
de
secteur g�ographique
secteur g�ographique
est
Adjacent
�
secteur g�ographique
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