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
If
an object
is an
instance
of
a kind of pure substance
and
a kind of pure substance
is a
subclass
of
pure substance
and
a real number
kelvin degree
(s) is a
boiling
point of
the kind of pure substance
and
another real number
kelvin degree
(s) is a
melting
point of
the kind of pure substance
and the
measure
of
the object
is
a third real number
kelvin degree
(s) and
the third real number
is
greater
than
the other real number
and
the third real number
is
less
than
the real number
,
then
liquid
is an
attribute
of
the object
(=>
(
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
If
an object
is an
instance
of
a kind of pure substance
and
a kind of pure substance
is a
subclass
of
pure substance
and
a real number
kelvin degree
(s) is a
melting
point of
the kind of pure substance
and
another real number
inch mercury
(s) is a
barometric
pressure of
the object
and
the other real number
is
greater
than 29.92 and the
measure
of
the object
is
a third real number
kelvin degree
(s) and
the third real number
is
less
than
the real number
,
then
solid
is an
attribute
of
the object
(=>
(
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
If
a time interval
is an
instance
of the
year
an integer
and
another time interval
is an
instance
of the
year
another integer
and
a time point
is
equal
to the
beginning
of
the time interval
and
another time point
is
equal
to the
beginning
of
the other time interval
and
the other integer
is
greater
than
the integer
,
then
the time point
happens
before
the other time point
(=>
(
and
(
instance
?Y1
(
YearFn
?N1))
(
instance
?Y2
(
YearFn
?N2))
(
greaterThan
?N2 ?N1))
(
earlier
?Y1 ?Y2))
Merge.kif 8699-8704
If
a time interval
is an
instance
of the
year
an integer
and
another time interval
is an
instance
of the
year
another integer
and
the other integer
is
greater
than
the integer
,
then
the time interval
happens
earlier
than
the other time interval
(=>
(
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
If
a real number
an unit of measure
(s) is a
length
of broad gauge railway of
a geographic area
and
the unit of measure
is an
instance
of
unit of length
and
the real number
is
greater
than 0,
then there exists
a physical
such that
the physical
is an
instance
of
broad gauge railway
and
the physical
is
located
at
the geographic area
(=>
(
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
If
a real number
an unit of measure
(s) is a
length
of dual gauge railway of
a geographic area
and
the unit of measure
is an
instance
of
unit of length
and
the real number
is
greater
than 0,
then there exists
a physical
such that
the physical
is an
instance
of
dual gauge railway
and
the physical
is
located
at
the geographic area
(=>
(
and
(
lengthOfElectrifiedRailway
?AREA
(
MeasureFn
?LENGTH
Mile
))
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
ElectrifiedRailway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 135-143
If
a real number
mile
(s) is a
length
of electrified railway of
a geographic area
and
the real number
is
greater
than 0,
then there exists
a physical
such that
the physical
is an
instance
of
electrified railway
and
the physical
is
located
at
the geographic area
(=>
(
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
If
a real number
an unit of measure
(s) is a
length
of expressway system of
a geographic area
and
the unit of measure
is an
instance
of
unit of length
and
the real number
is
greater
than 0,
then there exists
a physical
such that
the physical
is an
instance
of
expressway
and
the physical
is
located
at
the geographic area
(=>
(
and
(
lengthOfMultipleTrackRailway
?AREA
(
MeasureFn
?LENGTH
Mile
))
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
MultipleTrackRailway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 163-171
If
a real number
mile
(s) is a
length
of multiple track railway of
a geographic area
and
the real number
is
greater
than 0,
then there exists
a physical
such that
the physical
is an
instance
of
multiple track railway
and
the physical
is
located
at
the geographic area
(=>
(
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
If
a real number
an unit of measure
(s) is a
length
of narrow gauge railway of
a geographic area
and
the unit of measure
is an
instance
of
unit of length
and
the real number
is
greater
than 0,
then there exists
a physical
such that
the physical
is an
instance
of
narrow gauge railway
and
the physical
is
located
at
the geographic area
(=>
(
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
If
a real number
an unit of measure
(s) is a
length
of paved highway of
a geographic area
and
the unit of measure
is an
instance
of
unit of length
and
the real number
is
greater
than 0,
then there exists
a physical
such that
the physical
is an
instance
of
surfaced roadway
and
the physical
is
located
at
the geographic area
(=>
(
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
If
a real number
an unit of measure
(s) is a
length
of standard gauge railway of
a geographic area
and
the unit of measure
is an
instance
of
unit of length
and
the real number
is
greater
than 0,
then there exists
a physical
such that
the physical
is an
instance
of
standard gauge railway
and
the physical
is
located
at
the geographic area
(=>
(
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
If
a real number
an unit of measure
(s) is a
length
of unclassified gauge railway of
a geographic area
and
the unit of measure
is an
instance
of
unit of length
and
the real number
is
greater
than 0,
then there exists
a physical
such that
the physical
is an
instance
of
railway
and
the physical
is
located
at
the geographic area
(=>
(
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
If
a real number
an unit of measure
(s) is a
length
of unpaved highway of
a geographic area
and
the unit of measure
is an
instance
of
unit of length
and
the real number
is
greater
than 0,
then there exists
a physical
such that
the physical
is an
instance
of
unsurfaced roadway
and
the physical
is
located
at
the geographic area
(=>
(
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
If the
measure
of
an object
is
a real number
lumen
(s) and the
measure
of
another object
is
another real number
lumen
(s) and
the object
is a
part
of
a third object
and
the other object
is a
part
of
the third object
and
the object
is not
equal
to
the other object
and
the real number
is
greater
than
the other real number
and
the real number
and
the other real number
is
equal
to
a third real number
and the contrast ratio of
the third object
is
the third real number
,
then there don't exist
a fourth object
,
a fifth object
,, ,
a fourth real number
and
a fifth real number
such that the
measure
of
the fourth object
is
the fourth real number
lumen
(s) and the
measure
of
the fifth object
is
the fifth real number
lumen
(s) and
the fourth object
is a
part
of
the third object
and
the fifth object
is a
part
of
the third object
and
the fourth object
is not
equal
to
the fifth object
and
the fourth real number
is
greater
than
the fifth real number
and
the fourth real number
and
the fifth real number
is
greater
than
the third real number
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
greaterThan
?AMOUNT ?DRAFT))
(
capability
(
TripFn
?SHIP)
path
?WATERWAY))
Transportation.kif 2653-2658
If
a real number
meter
(s) is a
navigable
for draft of
a water area
and
another real number
meter
(s) is a
laden
draft of
a water vehicle
and
the real number
is
greater
than
the other real number
,
then
the water area
is
capable
of doing the
trip
of
the water vehicle
as a
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
If
an object
is
outside
to
a region
and
another object
is an
instance
of the
perimeter
area of
the region
and
the other object
is an
instance
of
uniform perimeter area
and the
width
of
the other object
is
a real number
an unit of measure
(s) and the
distance
between
the object
and
the region
is
another real number
the unit of measure
(s) and
the unit of measure
is an
instance
of
unit of measure
and (
the other real number
and
the real number
) is
greater
than 0.0,
then
the object
is not
located
at
the other object
(=>
(
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
If
an agreement
is a
party
to agreement of
a cognitive agent
and
a process
is an
instance
of
intentional process
and
the process
is
located
at
a geopolitical area
and
the geopolitical area
is an
instance
of
nation
and
the process
is
located
at
the geopolitical area
2 and
the geopolitical area
2 is an
instance
of
geopolitical area
and
a real number
year duration
(s) is the age of majority for
the process
in
the geopolitical area
and
a content bearing physical
is a
result
of
the process
and
the content bearing physical
is the
record
of
the agreement
and the
age
of
the cognitive agent
is
an entity
year duration
(s) and
the entity
is
greater
than
the real number
holds
during
the
time
of existence of
the process
,
then
legal
is an
attribute
of
the 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
If
an object
is
path
along which
a motion
occurs and
the motion
originate
s at
another object
and
the motion
end
s up at
a third object
and the
length
of
the object
is
a real number
an unit of measure
(s) and the
distance
between
the other object
and
the third object
is
another real number
the unit of measure
(s) and
the real number
is not
greater
than
the other real number
and
a fourth object
is a
part
of
the object
,
then
the fourth object
is
between
the other object
and
the third object
(=>
(
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
If
a kind of series
is a
subclass
of
periodical
and volume
a positive integer
in the
series
a kind of series
is
equal
to
a kind of text
and volume
another positive integer
in the
series
the kind of series
is
equal
to
another kind of text
and
the other positive integer
is
greater
than
the positive integer
and
a process
is an
instance
of
publication
and
another process
is an
instance
of
publication
and
an entity
is an
instance
of
a kind of text
and
another entity
is an
instance
of
another kind of text
and
the entity
is a
patient
of
the process
and
the other entity
is a
patient
of
the other process
and
date
of
the process
is
a day
and
date
of
the other process
is
another day
,
then the
end
of
the day
happens
before
the
end
of
the other day
(=>
(
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
If the
top
speed
of
a vehicle
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
composite unit of measure
and
an entity
is an
instance
of
unit of length
and
another entity
is an
instance
of
unit of duration
and
another real number
is
equal
to the
probability
of the
measure
of
the vehicle
is
a length measure
the entity
(s)
per
a time duration
the other entity
(s) and
a third real number
is
equal
to the
probability
of the
measure
of
the vehicle
is
another length measure
the entity
(s)
per
another time duration
the other entity
(s) and
the length measure
per
the time duration
is
greater
than
the real number
and
the real number
is
greater
than
the other length measure
per
the other time duration
,
then
the third real number
is
greater
than
the other real number
(=>
(
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
If
a geographic area
is
total
facility type in area the
class
corresponding to
airport with unpaved runway
for
a nonnegative integer
and
the nonnegative integer
is
greater
than 0,
then there exist
an object
and
another object
such that
the object
is an
instance
of
airport
and
the other object
is an
instance
of
unpaved runway
and
the other object
is a
part
of
the object
and
the object
is
located
at
the geographic area
(=>
(
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
If
a real number
an unit of measure
(s) is a
total
length of highway system of
a geographic area
and
the unit of measure
is an
instance
of
unit of length
and
the real number
is
greater
than 0,
then there exists
a physical
such that
the physical
is an
instance
of
roadway
and
the physical
is
located
at
the geographic area
(=>
(
and
(
totalLengthOfRailwaySystem
?AREA
(
MeasureFn
?LENGTH
Mile
))
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
Railway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 107-115
If
a real number
mile
(s) is a
total
length of railway system of
a geographic area
and
the real number
is
greater
than 0,
then there exists
a physical
such that
the physical
is an
instance
of
railway
and
the physical
is
located
at
the geographic area
(=>
(
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
If
a real number
an unit of measure
(s) is a
total
length of waterways of
a geographic area
and
the unit of measure
is an
instance
of
unit of length
and
the real number
is
greater
than 0,
then there exists
a physical
such that
the physical
is an
instance
of
waterway
and
the physical
is
located
at
the geographic area
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