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
Wenn
Object
ist ein
fall
von
** PureSubstance
%n{nicht} und
** PureSubstance
ist eine
teilkategorie
von
PureSubstance
und
boilingPoint
** ** PureSubstance
and
RealNumber
KelvinDegree
(s) und
meltingPoint
** ** PureSubstance
and
** RealNumber
KelvinDegree
(s) und das
mass
von
** Object
ist
** RealNumber
KelvinDegree
(s) %n{nicht} und
** ** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht} und
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht},
dann
Liquid
ist ein
attribut
von
** Object
%n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
** PureSubstance
%n{nicht} und
** PureSubstance
ist eine
teilkategorie
von
PureSubstance
und
meltingPoint
** ** PureSubstance
and
RealNumber
KelvinDegree
(s) und
barometricPressure
** Object
and
** RealNumber
InchMercury
(s) und
** ** RealNumber
ist
groesserAls
29.92 %n{nicht} und das
mass
von
** Object
ist
** RealNumber
KelvinDegree
(s) %n{nicht} und
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht},
dann
Solid
ist ein
attribut
von
** Object
%n{nicht}
(=>
(
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
Wenn
TimeInterval
ist ein
fall
von das
jahr
Integer
%n{nicht} und
** TimeInterval
ist ein
fall
von das
jahr
** Integer
%n{nicht} und
TimePoint
ist gleich der
anfang
von
** TimeInterval
%n{nicht} und
** TimePoint
ist gleich der
anfang
von
** ** TimeInterval
%n{nicht} und
** ** Integer
ist
groesserAls
** Integer
%n{nicht},
dann
** TimePoint
geschieht
vor
** ** TimePoint
%n{nicht}
(=>
(
and
(
instance
?Y1
(
YearFn
?N1))
(
instance
?Y2
(
YearFn
?N2))
(
greaterThan
?N2 ?N1))
(
earlier
?Y1 ?Y2))
Merge.kif 8699-8704
Wenn
TimeInterval
ist ein
fall
von das
jahr
Integer
%n{nicht} und
** TimeInterval
ist ein
fall
von das
jahr
** Integer
%n{nicht} und
** ** Integer
ist
groesserAls
** Integer
%n{nicht},
dann
** TimeInterval
geschieht frueh als
** ** TimeInterval
%n{nicht}
(=>
(
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
Wenn
lengthOfBroadGaugeRailway
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
** RealNumber
ist
groesserAls
0 %n{nicht},
dann es gibt
Physical
um
** Physical
ist ein
fall
von
BroadGaugeRailway
%n{nicht} und
** Physical
befindet
sich an %n{nicht}
(=>
(
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
Wenn
lengthOfDualGaugeRailway
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
** RealNumber
ist
groesserAls
0 %n{nicht},
dann es gibt
Physical
um
** Physical
ist ein
fall
von
DualGaugeRailway
%n{nicht} und
** Physical
befindet
sich an %n{nicht}
(=>
(
and
(
lengthOfElectrifiedRailway
?AREA
(
MeasureFn
?LENGTH
Mile
))
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
ElectrifiedRailway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 135-143
Wenn
lengthOfElectrifiedRailway
GeographicArea
and
RealNumber
Mile
(s) und
** RealNumber
ist
groesserAls
0 %n{nicht},
dann es gibt
Physical
um
** Physical
ist ein
fall
von
ElectrifiedRailway
%n{nicht} und
** Physical
befindet
sich an %n{nicht}
(=>
(
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
Wenn
lengthOfExpresswaySystem
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
** RealNumber
ist
groesserAls
0 %n{nicht},
dann es gibt
Physical
um
** Physical
ist ein
fall
von
Expressway
%n{nicht} und
** Physical
befindet
sich an %n{nicht}
(=>
(
and
(
lengthOfMultipleTrackRailway
?AREA
(
MeasureFn
?LENGTH
Mile
))
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
MultipleTrackRailway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 163-171
Wenn
lengthOfMultipleTrackRailway
GeographicArea
and
RealNumber
Mile
(s) und
** RealNumber
ist
groesserAls
0 %n{nicht},
dann es gibt
Physical
um
** Physical
ist ein
fall
von
MultipleTrackRailway
%n{nicht} und
** Physical
befindet
sich an %n{nicht}
(=>
(
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
Wenn
lengthOfNarrowGaugeRailway
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
** RealNumber
ist
groesserAls
0 %n{nicht},
dann es gibt
Physical
um
** Physical
ist ein
fall
von
NarrowGaugeRailway
%n{nicht} und
** Physical
befindet
sich an %n{nicht}
(=>
(
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
Wenn
lengthOfPavedHighway
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
** RealNumber
ist
groesserAls
0 %n{nicht},
dann es gibt
Physical
um
** Physical
ist ein
fall
von
SurfacedRoadway
%n{nicht} und
** Physical
befindet
sich an %n{nicht}
(=>
(
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
Wenn
lengthOfStandardGaugeRailway
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
** RealNumber
ist
groesserAls
0 %n{nicht},
dann es gibt
Physical
um
** Physical
ist ein
fall
von
StandardGaugeRailway
%n{nicht} und
** Physical
befindet
sich an %n{nicht}
(=>
(
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
Wenn
lengthOfUnclassifiedGaugeRailway
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
** RealNumber
ist
groesserAls
0 %n{nicht},
dann es gibt
Physical
um
** Physical
ist ein
fall
von
Railway
%n{nicht} und
** Physical
befindet
sich an %n{nicht}
(=>
(
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
Wenn
lengthOfUnpavedHighway
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
** RealNumber
ist
groesserAls
0 %n{nicht},
dann es gibt
Physical
um
** Physical
ist ein
fall
von
UnsurfacedRoadway
%n{nicht} und
** Physical
befindet
sich an %n{nicht}
(=>
(
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
Wenn das
mass
von
Object
ist
RealNumber
Lumen
(s) %n{nicht} und das
mass
von
** Object
ist
** RealNumber
Lumen
(s) %n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
teil
von
** ** Object
%n{nicht} und
** Object
ist gleich
** ** Object
nicht und
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht} und
** RealNumber
und
** ** RealNumber
ist gleich
** RealNumber
%n{nicht} und
contrastRatio
** ** Object
and
** ** RealNumber
,
dann es gibt nicht
** Object
,
** Object
,, ,
** RealNumber
, and und
** RealNumber
um das
mass
von
** ** Object
ist
** ** RealNumber
Lumen
(s) %n{nicht} und das
mass
von
** ** Object
ist
** ** RealNumber
Lumen
(s) %n{nicht} und
** ** Object
ist ein
teil
von
** ** Object
%n{nicht} und
** ** Object
ist ein
teil
von
** ** Object
%n{nicht} und
** ** Object
ist gleich
** ** Object
nicht und
** ** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht} und
** ** RealNumber
und
** ** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
greaterThan
?AMOUNT ?DRAFT))
(
capability
(
TripFn
?SHIP)
path
?WATERWAY))
Transportation.kif 2653-2658
Wenn
navigableForDraft
WaterArea
and
RealNumber
Meter
(s) und
ladenDraft
WaterVehicle
and
** RealNumber
Meter
(s) und
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht},
dann
** WaterArea
ist faehig %n{nicht}, in der Rolle
path
TripFn
** WaterVehicle
zu tun
(=>
(
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
Wenn
Object
ist
Outside
hinsichlich
Region
%n{nicht} und
** Object
ist ein
fall
von
PerimeterAreaFn
** Region
%n{nicht} und
** ** Object
ist ein
fall
von
UniformPerimeterArea
%n{nicht} und die
breite
von
** ** Object
ist
RealNumber
UnitOfMeasure
(s) %n{nicht} und der
abstand
zwischen
** Object
und
** Region
ist
** RealNumber
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfMeasure
%n{nicht} und (
** ** RealNumber
und
** RealNumber
) ist
groesserAls
0.0 %n{nicht},
dann
** Object
befindet
sich an nicht
(=>
(
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
Wenn
partyToAgreement
CognitiveAgent
and
Agreement
und
Process
ist ein
fall
von
IntentionalProcess
%n{nicht} und
** Process
befindet
sich an %n{nicht} und
GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} und
** Process
befindet
sich an %n{nicht} und
** GeopoliticalArea
2 ist ein
fall
von
GeopoliticalArea
%n{nicht} und
ageOfMajorityForProcess
RealNumber
YearDuration
(s),
** GeopoliticalArea
and
** Process
und
ContentBearingPhysical
ist ein
resultat
von
** Process
%n{nicht} und
recordForAgreement
** ContentBearingPhysical
and
** Agreement
und das
alter
von
** CognitiveAgent
ist
entity
YearDuration
(s) %n{nicht} und
** entity
ist
groesserAls
** RealNumber
%n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht},
dann
Legal
ist ein
attribut
von
** Agreement
%n{nicht}
(=>
(
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
Wenn
Object
ist der
pfad
entlang dem
Motion
geschieht und
** Motion
beginnet an
** Object
%n{nicht} und
** Motion
endet an
** Object
%n{nicht} und die
laenge
von
** Object
ist
RealNumber
UnitOfMeasure
(s) %n{nicht} und der
abstand
zwischen
** ** Object
und
** ** Object
ist
** RealNumber
** UnitOfMeasure
(s) und
** RealNumber
ist
groesserAls
** ** RealNumber
nicht und
** Object
ist ein
teil
von
** Object
%n{nicht},
dann
** ** Object
ist
zwischen
** ** Object
und
** ** Object
%n{nicht}
(=>
(
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
Wenn
** Series
ist eine
teilkategorie
von
Periodical
und Band
PositiveInteger
in der
reihe
** Series
ist gleich
** Text
%n{nicht} und Band
** PositiveInteger
in der
reihe
** ** Series
ist gleich
** ** Text
%n{nicht} und
** ** PositiveInteger
ist
groesserAls
** PositiveInteger
%n{nicht} und
Process
ist ein
fall
von
Publication
%n{nicht} und
** Process
ist ein
fall
von
Publication
%n{nicht} und
Entity
ist ein
fall
von
** Text
%n{nicht} und
** Entity
ist ein
fall
von
** ** Text
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** ** Entity
ist ein
patient
von
** ** Process
%n{nicht} und
datum
von
** Process
ist
Day
%n{nicht} und
datum
von
** ** Process
ist
** Day
%n{nicht},
dann das
ende
von
** Day
geschieht
vor
das
ende
von
** ** Day
%n{nicht}
(=>
(
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
Wenn
topSpeed
Vehicle
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
CompositeUnitOfMeasure
%n{nicht} und
Entity
ist ein
fall
von
UnitOfLength
%n{nicht} und
** Entity
ist ein
fall
von
UnitOfDuration
%n{nicht} und
** RealNumber
ist gleich die
wahrscheinlichkeit
von das
mass
von
** Vehicle
ist
LengthMeasure
** Entity
(s)
pro
&2 %n{nicht} %n{nicht} und
** RealNumber
ist gleich die
wahrscheinlichkeit
von das
mass
von
** Vehicle
ist
** LengthMeasure
** Entity
(s)
pro
&2 %n{nicht} %n{nicht} und
** LengthMeasure
pro
&2 ist
groesserAls
** RealNumber
%n{nicht} und
** RealNumber
ist
groesserAls
** ** LengthMeasure
pro
&2 %n{nicht},
dann
** ** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
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
Wenn
totalFacilityTypeInArea
GeographicArea
, die
kategorie
, die
AirportWithUnpavedRunway
entspricht and
NonnegativeInteger
und
** NonnegativeInteger
ist
groesserAls
0 %n{nicht},
dann es gibt
Object
und
** Object
um
** Object
ist ein
fall
von
Airport
%n{nicht} und
** ** Object
ist ein
fall
von
UnpavedRunway
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** Object
befindet
sich an %n{nicht}
(=>
(
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
Wenn
totalLengthOfHighwaySystem
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
** RealNumber
ist
groesserAls
0 %n{nicht},
dann es gibt
Physical
um
** Physical
ist ein
fall
von
Roadway
%n{nicht} und
** Physical
befindet
sich an %n{nicht}
(=>
(
and
(
totalLengthOfRailwaySystem
?AREA
(
MeasureFn
?LENGTH
Mile
))
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
Railway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 107-115
Wenn
totalLengthOfRailwaySystem
GeographicArea
and
RealNumber
Mile
(s) und
** RealNumber
ist
groesserAls
0 %n{nicht},
dann es gibt
Physical
um
** Physical
ist ein
fall
von
Railway
%n{nicht} und
** Physical
befindet
sich an %n{nicht}
(=>
(
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
Wenn
totalLengthOfWaterways
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
** RealNumber
ist
groesserAls
0 %n{nicht},
dann es gibt
Physical
um
** Physical
ist ein
fall
von
Waterway
%n{nicht} und
** Physical
befindet
sich an %n{nicht}
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