greaterThan
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?MELT)
(
lessThan
?TEMP ?BOIL))
(
attribute
?X
Liquid
))
Merge.kif 13809-13818
Objet
est une
instance
de
substance pure
substance pure
est une
sous
-classe de
substance pure
boilingPoint
substance pure
and
nombre r�el
KelvinDegree
(s)
meltingPoint
substance pure
and
nombre r�el
KelvinDegree
(s) la
mesure
de
objet
est
nombre r�el
KelvinDegree
(s)
nombre r�el
est
plus
grand
que
nombre r�el
nombre r�el
est
moins
que
nombre r�el
Liquid
est un
attribut
de
objet
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
?PRES 29.92)
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
lessThan
?TEMP ?MELT))
(
attribute
?X
Solid
))
Merge.kif 13820-13829
Objet
est une
instance
de
substance pure
substance pure
est une
sous
-classe de
substance pure
meltingPoint
substance pure
and
nombre r�el
KelvinDegree
(s)
barometricPressure
objet
and
nombre r�el
InchMercury
(s)
nombre r�el
est
plus
grand
que 29.92 la
mesure
de
objet
est
nombre r�el
KelvinDegree
(s)
nombre r�el
est
moins
que
nombre r�el
Solid
est un
attribut
de
objet
(=>
(
and
(
instance
?Y1
(
YearFn
?N1))
(
instance
?Y2
(
YearFn
?N2))
(
equal
?T1
(
BeginFn
?Y1))
(
equal
?T2
(
BeginFn
?Y2))
(
greaterThan
?N2 ?N1))
(
before
?T1 ?T2))
Merge.kif 8690-8697
Interval temporel
est une
instance
de l'
ann
�e
nombre entier
interval temporel
est une
instance
de l'
ann
�e
nombre entier
point temporel
est
d
�but de
interval temporel
point temporel
est
d
�but de
interval temporel
nombre entier
est
plus
grand
que
nombre entier
point temporel
se produit
avant
point temporel
(=>
(
and
(
instance
?Y1
(
YearFn
?N1))
(
instance
?Y2
(
YearFn
?N2))
(
greaterThan
?N2 ?N1))
(
earlier
?Y1 ?Y2))
Merge.kif 8699-8704
Interval temporel
est une
instance
de l'
ann
�e
nombre entier
interval temporel
est une
instance
de l'
ann
�e
nombre entier
nombre entier
est
plus
grand
que
nombre entier
interval temporel
arrive
plus
t�t que
interval temporel
(=>
(
and
(
lengthOfBroadGaugeRailway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
BroadGaugeRailway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 191-199
lengthOfBroadGaugeRailway
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfLength
nombre r�el
est
plus
grand
que 0
physique
physique
est une
instance
de
BroadGaugeRailway
physique
est
situ
� �
secteur g�ographique
(=>
(
and
(
lengthOfDualGaugeRailway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
DualGaugeRailway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 219-227
lengthOfDualGaugeRailway
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfLength
nombre r�el
est
plus
grand
que 0
physique
physique
est une
instance
de
DualGaugeRailway
physique
est
situ
� �
secteur g�ographique
(=>
(
and
(
lengthOfElectrifiedRailway
?AREA
(
MeasureFn
?LENGTH
Mile
))
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
ElectrifiedRailway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 135-143
lengthOfElectrifiedRailway
secteur g�ographique
and
nombre r�el
Mile
(s)
nombre r�el
est
plus
grand
que 0
physique
physique
est une
instance
de
ElectrifiedRailway
physique
est
situ
� �
secteur g�ographique
(=>
(
and
(
lengthOfExpresswaySystem
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?HIGHWAY)
(
and
(
instance
?HIGHWAY
Expressway
)
(
located
?HIGHWAY ?AREA))))
Transportation.kif 577-585
lengthOfExpresswaySystem
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfLength
nombre r�el
est
plus
grand
que 0
physique
physique
est une
instance
de
Expressway
physique
est
situ
� �
secteur g�ographique
(=>
(
and
(
lengthOfMultipleTrackRailway
?AREA
(
MeasureFn
?LENGTH
Mile
))
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
MultipleTrackRailway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 163-171
lengthOfMultipleTrackRailway
secteur g�ographique
and
nombre r�el
Mile
(s)
nombre r�el
est
plus
grand
que 0
physique
physique
est une
instance
de
MultipleTrackRailway
physique
est
situ
� �
secteur g�ographique
(=>
(
and
(
lengthOfNarrowGaugeRailway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
NarrowGaugeRailway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 246-254
lengthOfNarrowGaugeRailway
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfLength
nombre r�el
est
plus
grand
que 0
physique
physique
est une
instance
de
NarrowGaugeRailway
physique
est
situ
� �
secteur g�ographique
(=>
(
and
(
lengthOfPavedHighway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?HIGHWAY)
(
and
(
instance
?HIGHWAY
SurfacedRoadway
)
(
located
?HIGHWAY ?AREA))))
Transportation.kif 551-559
lengthOfPavedHighway
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfLength
nombre r�el
est
plus
grand
que 0
physique
physique
est une
instance
de
SurfacedRoadway
physique
est
situ
� �
secteur g�ographique
(=>
(
and
(
lengthOfStandardGaugeRailway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
StandardGaugeRailway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 274-282
lengthOfStandardGaugeRailway
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfLength
nombre r�el
est
plus
grand
que 0
physique
physique
est une
instance
de
StandardGaugeRailway
physique
est
situ
� �
secteur g�ographique
(=>
(
and
(
lengthOfUnclassifiedGaugeRailway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
Railway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 308-316
lengthOfUnclassifiedGaugeRailway
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfLength
nombre r�el
est
plus
grand
que 0
physique
physique
est une
instance
de
Railway
physique
est
situ
� �
secteur g�ographique
(=>
(
and
(
lengthOfUnpavedHighway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?HIGHWAY)
(
and
(
instance
?HIGHWAY
UnsurfacedRoadway
)
(
located
?HIGHWAY ?AREA))))
Transportation.kif 610-618
lengthOfUnpavedHighway
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfLength
nombre r�el
est
plus
grand
que 0
physique
physique
est une
instance
de
UnsurfacedRoadway
physique
est
situ
� �
secteur g�ographique
(=>
(
and
(
measure
?P1
(
MeasureFn
?N1
Lumen
))
(
measure
?P2
(
MeasureFn
?N2
Lumen
))
(
part
?P1 ?O)
(
part
?P2 ?O)
(
not
(
equal
?P1 ?P2))
(
greaterThan
?N1 ?N2)
(
equal
(
DivisionFn
?N1 ?N2) ?R)
(
contrastRatio
?O ?R))
(
not
(
exists
(?P3 ?P4 ?N3 ?N4)
(
and
(
measure
?P3
(
MeasureFn
?N3
Lumen
))
(
measure
?P4
(
MeasureFn
?N4
Lumen
))
(
part
?P3 ?O)
(
part
?P4 ?O)
(
not
(
equal
?P3 ?P4))
(
greaterThan
?N3 ?N4)
(
greaterThan
(
DivisionFn
?N3 ?N4) ?R)))))
ComputingBrands.kif 3735-3756
La
mesure
de
objet
est
nombre r�el
Lumen
(s) la
mesure
de
objet
est
nombre r�el
Lumen
(s)
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est
objet
nombre r�el
est
plus
grand
que
nombre r�el
nombre r�el
+
nombre r�el
est
nombre r�el
contrastRatio
objet
and
nombre r�el
objet
objet
,
nombre r�el
and
nombre r�el
la
mesure
de
objet
est
nombre r�el
Lumen
(s) la
mesure
de
objet
est
nombre r�el
Lumen
(s)
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est
objet
nombre r�el
est
plus
grand
que
nombre r�el
nombre r�el
+
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
greaterThan
?AMOUNT ?DRAFT))
(
capability
(
TripFn
?SHIP)
path
?WATERWAY))
Transportation.kif 2653-2658
navigableForDraft
plan d'eau
and
nombre r�el
Meter
(s)
ladenDraft
WaterVehicle
and
nombre r�el
Meter
(s)
nombre r�el
est
plus
grand
que
nombre r�el
plan d'eau
est
capable
de faire
TripFn
WaterVehicle
dans le r�le
path
(=>
(
and
(
orientation
?OBJ ?REGION
Outside
)
(
instance
?ZONE
(
PerimeterAreaFn
?REGION))
(
instance
?ZONE
UniformPerimeterArea
)
(
width
?ZONE
(
MeasureFn
?LIMIT ?UNIT))
(
distance
?OBJ ?REGION
(
MeasureFn
?FAR ?UNIT))
(
instance
?UNIT
UnitOfMeasure
)
(
greaterThan
(
SubtractionFn
?FAR ?LIMIT) 0.0))
(
not
(
located
?OBJ ?ZONE)))
Geography.kif 863-872
Objet
est
Outside
�
r�gion
objet
est une
instance
de
PerimeterAreaFn
r�gion
objet
est une
instance
de
UniformPerimeterArea
la
largeur
de
objet
est
nombre r�el
unit� de mesure
(s) la
distance
entre
objet
et
r�gion
est
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
unit� de mesure
(
nombre r�el
+
nombre r�el
) est
plus
grand
que 0.0
objet
est
situ
� �
objet
(=>
(
and
(
partyToAgreement
?A1 ?AG)
(
instance
?PROC
IntentionalProcess
)
(
located
?PROC ?LOC)
(
instance
?LOC
Nation
)
(
located
?PROC ?LOC2)
(
instance
?LOC2
GeopoliticalArea
)
(
ageOfMajorityForProcess
(
MeasureFn
?N2
YearDuration
) ?LOC ?PROC)
(
result
?PROC ?DOC)
(
recordForAgreement
?DOC ?AG)
(
holdsDuring
(
WhenFn
?PROC)
(
and
(
age
?A1
(
MeasureFn
?N3
YearDuration
))
(
greaterThan
?N3 ?N2))))
(
attribute
?AG
Legal
))
Law.kif 554-571
partyToAgreement
agent cognitif
and
Agreement
processus
est une
instance
de
processus intentionnel
processus
est
situ
� �
secteur g�opolitique
secteur g�opolitique
est une
instance
de
nation
processus
est
situ
� �
secteur g�opolitique
2
secteur g�opolitique
2 est une
instance
de
secteur g�opolitique
ageOfMajorityForProcess
nombre r�el
YearDuration
(s),
secteur g�opolitique
and
processus
ContentBearingPhysical
est le
resultat
de
processus
recordForAgreement
ContentBearingPhysical
and
Agreement
l'
agent cognitif
est
entit�
YearDuration
(s)
entit�
est
plus
grand
que
nombre r�el
pendant
temps
d'existence de
processus
Legal
est un
attribut
de
Agreement
(=>
(
and
(
path
?PROCESS ?PATH1)
(
origin
?PROCESS ?SOURCE)
(
destination
?PROCESS ?DEST)
(
length
?PATH1
(
MeasureFn
?MEASURE1 ?U))
(
distance
?SOURCE ?DEST
(
MeasureFn
?DISTANCE ?U))
(
not
(
greaterThan
?MEASURE1 ?DISTANCE))
(
part
?OBJ ?PATH1))
(
between
?SOURCE ?OBJ ?DEST))
Merge.kif 11082-11092
Objet
est le
chemin
le long duquel
d�palcement
se produit
d�palcement
a pour
origine
objet
d�palcement
aboutit
�
objet
le
longueur
de
objet
est
nombre r�el
unit� de mesure
(s) la
distance
entre
objet
et
objet
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
objet
est une
partie
de
objet
objet
est
entre
objet
et
objet
(=>
(
and
(
subclass
?TEXT
Periodical
)
(
equal
(
SeriesVolumeFn
?TEXT ?INT1) ?VOLUME1)
(
equal
(
SeriesVolumeFn
?TEXT ?INT2) ?VOLUME2)
(
greaterThan
?INT2 ?INT1)
(
instance
?PUB1
Publication
)
(
instance
?PUB2
Publication
)
(
instance
?CBO1 ?VOLUME1)
(
instance
?CBO2 ?VOLUME2)
(
patient
?PUB1 ?CBO1)
(
patient
?PUB2 ?CBO2)
(
date
?PUB1 ?DATE1)
(
date
?PUB2 ?DATE2))
(
before
(
EndFn
?DATE1)
(
EndFn
?DATE2)))
Mid-level-ontology.kif 14624-14638
Series
est une
sous
-classe de
periodique
le volume
nombre entier positif
dans les
s
�ries
series
est
texte
le volume
nombre entier positif
dans les
s
�ries
series
est
texte
nombre entier positif
est
plus
grand
que
nombre entier positif
processus
est une
instance
de
publier
processus
est une
instance
de
publier
entit�
est une
instance
de
texte
entit�
est une
instance
de
texte
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
la
date
de
processus
est
jour
la
date
de
processus
est
jour
la
fin
de
jour
se produit
avant
la
fin
de
jour
(=>
(
and
(
topSpeed
?V
(
MeasureFn
?Q ?CU))
(
instance
?CU
CompositeUnitOfMeasure
)
(
instance
?UL
UnitOfLength
)
(
instance
?UD
UnitOfDuration
)
(
equal
?FASTPROB
(
ProbabilityFn
(
measure
?V
(
SpeedFn
(
MeasureFn
?L1 ?UL)
(
MeasureFn
?T1 ?UD)))))
(
equal
?SLOWPROB
(
ProbabilityFn
(
measure
?V
(
SpeedFn
(
MeasureFn
?L2 ?UL)
(
MeasureFn
?T2 ?UD)))))
(
greaterThan
(
SpeedFn
?L1 ?T1) ?Q)
(
greaterThan
?Q
(
SpeedFn
?L2 ?T2)))
(
greaterThan
?SLOWPROB ?FASTPROB))
Transportation.kif 1718-1736
topSpeed
Vehicle
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
CompositeUnitOfMeasure
entit�
est une
instance
de
UnitOfLength
entit�
est une
instance
de
UnitOfDuration
nombre r�el
est
probabilit
� de la
mesure
de
Vehicle
est
mesure de longueur
entit�
(s)
par
dur�e temporel
entit�
(s)
nombre r�el
est
probabilit
� de la
mesure
de
Vehicle
est
mesure de longueur
entit�
(s)
par
dur�e temporel
entit�
(s)
mesure de longueur
par
dur�e temporel
est
plus
grand
que
nombre r�el
nombre r�el
est
plus
grand
que
mesure de longueur
par
dur�e temporel
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
totalFacilityTypeInArea
?AREA
(
ExtensionFn
AirportWithUnpavedRunway
) ?COUNT)
(
greaterThan
?COUNT 0))
(
exists
(?AIRPORT ?RUNWAY)
(
and
(
instance
?AIRPORT
Airport
)
(
instance
?RUNWAY
UnpavedRunway
)
(
part
?RUNWAY ?AIRPORT)
(
located
?AIRPORT ?AREA))))
Transportation.kif 1482-1491
totalFacilityTypeInArea
secteur g�ographique
, la
classe
correspondant �
AirportWithUnpavedRunway
and
nombre entier non n�gatif
nombre entier non n�gatif
est
plus
grand
que 0
objet
objet
objet
est une
instance
de
Airport
objet
est une
instance
de
UnpavedRunway
objet
est une
partie
de
objet
objet
est
situ
� �
secteur g�ographique
(=>
(
and
(
totalLengthOfHighwaySystem
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?HIGHWAY)
(
and
(
instance
?HIGHWAY
Roadway
)
(
located
?HIGHWAY ?AREA))))
Transportation.kif 493-501
totalLengthOfHighwaySystem
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfLength
nombre r�el
est
plus
grand
que 0
physique
physique
est une
instance
de
Roadway
physique
est
situ
� �
secteur g�ographique
(=>
(
and
(
totalLengthOfRailwaySystem
?AREA
(
MeasureFn
?LENGTH
Mile
))
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
Railway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 107-115
totalLengthOfRailwaySystem
secteur g�ographique
and
nombre r�el
Mile
(s)
nombre r�el
est
plus
grand
que 0
physique
physique
est une
instance
de
Railway
physique
est
situ
� �
secteur g�ographique
(=>
(
and
(
totalLengthOfWaterways
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?WATERWAY)
(
and
(
instance
?WATERWAY
Waterway
)
(
located
?WATERWAY ?AREA))))
Transportation.kif 665-673
totalLengthOfWaterways
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfLength
nombre r�el
est
plus
grand
que 0
physique
physique
est une
instance
de
Waterway
physique
est
situ
� �
secteur g�ographique
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