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
Objeto
e' uma
instancia
de
Airport
MediumLengthRunwayAirport
e' um
atributo
de
Objeto
Objeto
Numero Real
Objeto
e' uma
instancia
de
Runway
Objeto
e' uma &parte de
Objeto
o
comprimento
de
Objeto
e'
Numero Real
Meter
(s)
Numero Real
e'
maior
ou igual a 1524
Numero Real
e'
menor
ou igual a 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
Objeto
e' uma
instancia
de
Airport
ShortRunwayAirport
e' um
atributo
de
Objeto
Objeto
Numero Real
Objeto
e' uma
instancia
de
Runway
Objeto
e' uma &parte de
Objeto
o
comprimento
de
Objeto
e'
Numero Real
Meter
(s)
Numero Real
e'
maior
ou igual a 914
Numero Real
e'
menor
ou igual a 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
Objeto
e' uma
instancia
de
Airport
VeryLongRunwayAirport
e' um
atributo
de
Objeto
Objeto
Numero Real
Objeto
e' uma
instancia
de
Runway
Objeto
e' uma &parte de
Objeto
o
comprimento
de
Objeto
e'
Numero Real
Meter
(s)
Numero Real
e'
maior
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
Objeto
e' uma
instancia
de
Airport
VeryShortRunwayAirport
e' um
atributo
de
Objeto
Objeto
Numero Real
Objeto
e' uma
instancia
de
Runway
Objeto
e' uma &parte de
Objeto
o
comprimento
de
Objeto
e'
Numero Real
Meter
(s)
Numero Real
e'
menos
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
Area Geografica
e' uma
instancia
de
Area Geografica
geographicSubregion
ElevationHighPointFn
Area Geografica
and
Area Geografica
elevation
ElevationHighPointFn
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Area Geografica
Numero Real
geographicSubregion
Area Geografica
and
Area Geografica
Area Geografica
e'
igual
a
ElevationHighPointFn
Area Geografica
elevation
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
(=>
(
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
Area Geografica
e' uma
instancia
de
Area Geografica
geographicSubregion
ElevationLowPointFn
Area Geografica
and
Area Geografica
Unidade de Medida
e' uma
instancia
de
UnitOfLength
elevation
ElevationLowPointFn
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Area Geografica
Numero Real
geographicSubregion
Area Geografica
and
Area Geografica
Area Geografica
e'
igual
a
ElevationLowPointFn
Area Geografica
elevation
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
menos
que
Numero Real
(=>
(
and
(
instance
?AREA
LandlockedArea
)
(
instance
?UNIT
UnitOfLength
))
(
totalCoastline
?AREA
(
MeasureFn
0.0 ?UNIT)))
Geography.kif 912-916
Area Geografica
e' uma
instancia
de
LandlockedArea
Unidade de Medida
e' uma
instancia
de
UnitOfLength
totalCoastline
Area Geografica
and 0.0
Unidade de Medida
(s)
(=>
(
and
(
instance
?ATOM
Actinium
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
227
Amu
)))
Mid-level-ontology.kif 28812-28816
Fisico
e' uma
instancia
de
Actinium
Fisico
e' uma
instancia
de
Atomo
a
medida
de
Fisico
e' 227
Amu
(s)
(=>
(
and
(
instance
?ATOM
Aluminum
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
26.9815
Amu
)))
Mid-level-ontology.kif 27478-27482
Fisico
e' uma
instancia
de
Aluminum
Fisico
e' uma
instancia
de
Atomo
a
medida
de
Fisico
e' 26.9815
Amu
(s)
(=>
(
and
(
instance
?ATOM
Americium
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
243
Amu
)))
Mid-level-ontology.kif 28918-28922
Fisico
e' uma
instancia
de
Americium
Fisico
e' uma
instancia
de
Atomo
a
medida
de
Fisico
e' 243
Amu
(s)
(=>
(
and
(
instance
?ATOM
Antimony
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
121.75
Amu
)))
Mid-level-ontology.kif 28112-28116
Fisico
e' uma
instancia
de
Antimony
Fisico
e' uma
instancia
de
Atomo
a
medida
de
Fisico
e' 121.75
Amu
(s)
(=>
(
and
(
instance
?ATOM
Argon
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
39.948
Amu
)))
Mid-level-ontology.kif 27561-27565
Fisico
e' uma
instancia
de
Argon
Fisico
e' uma
instancia
de
Atomo
a
medida
de
Fisico
e' 39.948
Amu
(s)
(=>
(
and
(
instance
?ATOM
Arsenic
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
74.922
Amu
)))
Mid-level-ontology.kif 27809-27813
Fisico
e' uma
instancia
de
Arsenic
Fisico
e' uma
instancia
de
Atomo
a
medida
de
Fisico
e' 74.922
Amu
(s)
(=>
(
and
(
instance
?ATOM
Astatine
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
210
Amu
)))
Mid-level-ontology.kif 28745-28749
Fisico
e' uma
instancia
de
Astatine
Fisico
e' uma
instancia
de
Atomo
a
medida
de
Fisico
e' 210
Amu
(s)
(=>
(
and
(
instance
?ATOM
Barium
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
137.34
Amu
)))
Mid-level-ontology.kif 28206-28210
Fisico
e' uma
instancia
de
Barium
Fisico
e' uma
instancia
de
Atomo
a
medida
de
Fisico
e' 137.34
Amu
(s)
(=>
(
and
(
instance
?ATOM
Berkelium
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
247
Amu
)))
Mid-level-ontology.kif 28952-28956
Fisico
e' uma
instancia
de
Berkelium
Fisico
e' uma
instancia
de
Atomo
a
medida
de
Fisico
e' 247
Amu
(s)
(=>
(
and
(
instance
?ATOM
Beryllium
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
9.0122
Amu
)))
Mid-level-ontology.kif 27318-27322
Fisico
e' uma
instancia
de
Beryllium
Fisico
e' uma
instancia
de
Atomo
a
medida
de
Fisico
e' 9.0122
Amu
(s)
(=>
(
and
(
instance
?ATOM
Bismuth
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
208.980
Amu
)))
Mid-level-ontology.kif 28710-28714
Fisico
e' uma
instancia
de
Bismuth
Fisico
e' uma
instancia
de
Atomo
a
medida
de
Fisico
e' 208.980
Amu
(s)
(=>
(
and
(
instance
?ATOM
Boron
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
10.811
Amu
)))
Mid-level-ontology.kif 27334-27338
Fisico
e' uma
instancia
de
Boron
Fisico
e' uma
instancia
de
Atomo
a
medida
de
Fisico
e' 10.811
Amu
(s)
(=>
(
and
(
instance
?ATOM
Bromine
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
79.909
Amu
)))
Mid-level-ontology.kif 27840-27844
Fisico
e' uma
instancia
de
Bromine
Fisico
e' uma
instancia
de
Atomo
a
medida
de
Fisico
e' 79.909
Amu
(s)
(=>
(
and
(
instance
?ATOM
Cadmium
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
112.40
Amu
)))
Mid-level-ontology.kif 28064-28068
Fisico
e' uma
instancia
de
Cadmium
Fisico
e' uma
instancia
de
Atomo
a
medida
de
Fisico
e' 112.40
Amu
(s)
(=>
(
and
(
instance
?ATOM
Caesium
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
132.90545
Amu
)))
Mid-level-ontology.kif 28180-28184
Fisico
e' uma
instancia
de
Caesium
Fisico
e' uma
instancia
de
Atomo
a
medida
de
Fisico
e' 132.90545
Amu
(s)
(=>
(
and
(
instance
?ATOM
Calcium
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
40.08
Amu
)))
Mid-level-ontology.kif 27592-27596
Fisico
e' uma
instancia
de
Calcium
Fisico
e' uma
instancia
de
Atomo
a
medida
de
Fisico
e' 40.08
Amu
(s)
(=>
(
and
(
instance
?ATOM
Californium
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
249
Amu
)))
Mid-level-ontology.kif 28969-28973
Fisico
e' uma
instancia
de
Californium
Fisico
e' uma
instancia
de
Atomo
a
medida
de
Fisico
e' 249
Amu
(s)
(=>
(
and
(
instance
?ATOM
Carbon
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
12.01115
Amu
)))
Mid-level-ontology.kif 27353-27357
Fisico
e' uma
instancia
de
Carbon
Fisico
e' uma
instancia
de
Atomo
a
medida
de
Fisico
e' 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