MeasureFn
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
MediumLengthRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 1524)
(
lessThanOrEqualTo
?LENGTH 2437)))))
Transportation.kif 1426-1438
Objet
est une
instance
de
Airport
MediumLengthRunwayAirport
est un
attribut
de
objet
objet
nombre r�el
objet
est une
instance
de
Runway
objet
est une
partie
de
objet
le
longueur
de
objet
est
nombre r�el
Meter
(s)
nombre r�el
est
plus
grand
ou �gal � 1524
nombre r�el
est plus
petit
ou �gal � 2437
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
ShortRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 914)
(
lessThanOrEqualTo
?LENGTH 1523)))))
Transportation.kif 1407-1419
Objet
est une
instance
de
Airport
ShortRunwayAirport
est un
attribut
de
objet
objet
nombre r�el
objet
est une
instance
de
Runway
objet
est une
partie
de
objet
le
longueur
de
objet
est
nombre r�el
Meter
(s)
nombre r�el
est
plus
grand
ou �gal � 914
nombre r�el
est plus
petit
ou �gal � 1523
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
VeryLongRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
greaterThan
?LENGTH 3047))))
Transportation.kif 1464-1474
Objet
est une
instance
de
Airport
VeryLongRunwayAirport
est un
attribut
de
objet
objet
nombre r�el
objet
est une
instance
de
Runway
objet
est une
partie
de
objet
le
longueur
de
objet
est
nombre r�el
Meter
(s)
nombre r�el
est
plus
grand
que 3047
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
VeryShortRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
lessThan
?LENGTH 914))))
Transportation.kif 1391-1400
Objet
est une
instance
de
Airport
VeryShortRunwayAirport
est un
attribut
de
objet
objet
nombre r�el
objet
est une
instance
de
Runway
objet
est une
partie
de
objet
le
longueur
de
objet
est
nombre r�el
Meter
(s)
nombre r�el
est
moins
que 914
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
geographicSubregion
(
ElevationHighPointFn
?AREA) ?AREA)
(
elevation
(
ElevationHighPointFn
?AREA)
(
MeasureFn
?ELEV1 ?UNIT)))
(
not
(
exists
(?OTHER ?ELEV2)
(
and
(
geographicSubregion
?OTHER ?AREA)
(
not
(
equal
?OTHER
(
ElevationHighPointFn
?AREA)))
(
elevation
?OTHER
(
MeasureFn
?ELEV2 ?UNIT))
(
greaterThan
?ELEV2 ?ELEV1)))))
Geography.kif 1964-1975
Secteur g�ographique
est une
instance
de
secteur g�ographique
geographicSubregion
ElevationHighPointFn
secteur g�ographique
and
secteur g�ographique
elevation
ElevationHighPointFn
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
secteur g�ographique
nombre r�el
geographicSubregion
secteur g�ographique
and
secteur g�ographique
secteur g�ographique
est
ElevationHighPointFn
secteur g�ographique
elevation
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
geographicSubregion
(
ElevationLowPointFn
?AREA) ?AREA)
(
instance
?U
UnitOfLength
)
(
elevation
(
ElevationLowPointFn
?AREA)
(
MeasureFn
?ELEV1 ?U)))
(
not
(
exists
(?OTHER ?ELEV2)
(
and
(
geographicSubregion
?OTHER ?AREA)
(
not
(
equal
?OTHER
(
ElevationLowPointFn
?AREA)))
(
elevation
?OTHER
(
MeasureFn
?ELEV2 ?U))
(
lessThan
?ELEV2 ?ELEV1)))))
Geography.kif 1940-1954
Secteur g�ographique
est une
instance
de
secteur g�ographique
geographicSubregion
ElevationLowPointFn
secteur g�ographique
and
secteur g�ographique
unit� de mesure
est une
instance
de
UnitOfLength
elevation
ElevationLowPointFn
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
secteur g�ographique
nombre r�el
geographicSubregion
secteur g�ographique
and
secteur g�ographique
secteur g�ographique
est
ElevationLowPointFn
secteur g�ographique
elevation
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
moins
que
nombre r�el
(=>
(
and
(
instance
?AREA
LandlockedArea
)
(
instance
?UNIT
UnitOfLength
))
(
totalCoastline
?AREA
(
MeasureFn
0.0 ?UNIT)))
Geography.kif 912-916
Secteur g�ographique
est une
instance
de
LandlockedArea
unit� de mesure
est une
instance
de
UnitOfLength
totalCoastline
secteur g�ographique
and 0.0
unit� de mesure
(s)
(=>
(
and
(
instance
?ATOM
Actinium
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
227
Amu
)))
Mid-level-ontology.kif 28812-28816
Physique
est une
instance
de
Actinium
physique
est une
instance
de
atome
la
mesure
de
physique
est 227
Amu
(s)
(=>
(
and
(
instance
?ATOM
Aluminum
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
26.9815
Amu
)))
Mid-level-ontology.kif 27478-27482
Physique
est une
instance
de
Aluminum
physique
est une
instance
de
atome
la
mesure
de
physique
est 26.9815
Amu
(s)
(=>
(
and
(
instance
?ATOM
Americium
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
243
Amu
)))
Mid-level-ontology.kif 28918-28922
Physique
est une
instance
de
Americium
physique
est une
instance
de
atome
la
mesure
de
physique
est 243
Amu
(s)
(=>
(
and
(
instance
?ATOM
Antimony
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
121.75
Amu
)))
Mid-level-ontology.kif 28112-28116
Physique
est une
instance
de
Antimony
physique
est une
instance
de
atome
la
mesure
de
physique
est 121.75
Amu
(s)
(=>
(
and
(
instance
?ATOM
Argon
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
39.948
Amu
)))
Mid-level-ontology.kif 27561-27565
Physique
est une
instance
de
Argon
physique
est une
instance
de
atome
la
mesure
de
physique
est 39.948
Amu
(s)
(=>
(
and
(
instance
?ATOM
Arsenic
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
74.922
Amu
)))
Mid-level-ontology.kif 27809-27813
Physique
est une
instance
de
Arsenic
physique
est une
instance
de
atome
la
mesure
de
physique
est 74.922
Amu
(s)
(=>
(
and
(
instance
?ATOM
Astatine
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
210
Amu
)))
Mid-level-ontology.kif 28745-28749
Physique
est une
instance
de
Astatine
physique
est une
instance
de
atome
la
mesure
de
physique
est 210
Amu
(s)
(=>
(
and
(
instance
?ATOM
Barium
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
137.34
Amu
)))
Mid-level-ontology.kif 28206-28210
Physique
est une
instance
de
Barium
physique
est une
instance
de
atome
la
mesure
de
physique
est 137.34
Amu
(s)
(=>
(
and
(
instance
?ATOM
Berkelium
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
247
Amu
)))
Mid-level-ontology.kif 28952-28956
Physique
est une
instance
de
Berkelium
physique
est une
instance
de
atome
la
mesure
de
physique
est 247
Amu
(s)
(=>
(
and
(
instance
?ATOM
Beryllium
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
9.0122
Amu
)))
Mid-level-ontology.kif 27318-27322
Physique
est une
instance
de
Beryllium
physique
est une
instance
de
atome
la
mesure
de
physique
est 9.0122
Amu
(s)
(=>
(
and
(
instance
?ATOM
Bismuth
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
208.980
Amu
)))
Mid-level-ontology.kif 28710-28714
Physique
est une
instance
de
Bismuth
physique
est une
instance
de
atome
la
mesure
de
physique
est 208.980
Amu
(s)
(=>
(
and
(
instance
?ATOM
Boron
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
10.811
Amu
)))
Mid-level-ontology.kif 27334-27338
Physique
est une
instance
de
Boron
physique
est une
instance
de
atome
la
mesure
de
physique
est 10.811
Amu
(s)
(=>
(
and
(
instance
?ATOM
Bromine
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
79.909
Amu
)))
Mid-level-ontology.kif 27840-27844
Physique
est une
instance
de
Bromine
physique
est une
instance
de
atome
la
mesure
de
physique
est 79.909
Amu
(s)
(=>
(
and
(
instance
?ATOM
Cadmium
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
112.40
Amu
)))
Mid-level-ontology.kif 28064-28068
Physique
est une
instance
de
Cadmium
physique
est une
instance
de
atome
la
mesure
de
physique
est 112.40
Amu
(s)
(=>
(
and
(
instance
?ATOM
Caesium
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
132.90545
Amu
)))
Mid-level-ontology.kif 28180-28184
Physique
est une
instance
de
Caesium
physique
est une
instance
de
atome
la
mesure
de
physique
est 132.90545
Amu
(s)
(=>
(
and
(
instance
?ATOM
Calcium
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
40.08
Amu
)))
Mid-level-ontology.kif 27592-27596
Physique
est une
instance
de
Calcium
physique
est une
instance
de
atome
la
mesure
de
physique
est 40.08
Amu
(s)
(=>
(
and
(
instance
?ATOM
Californium
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
249
Amu
)))
Mid-level-ontology.kif 28969-28973
Physique
est une
instance
de
Californium
physique
est une
instance
de
atome
la
mesure
de
physique
est 249
Amu
(s)
(=>
(
and
(
instance
?ATOM
Carbon
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
12.01115
Amu
)))
Mid-level-ontology.kif 27353-27357
Physique
est une
instance
de
Carbon
physique
est une
instance
de
atome
la
mesure
de
physique
est 12.01115
Amu
(s)
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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