Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
length
Sigma KEE - length
length
appearance as argument number 1
(
documentation
length
ChineseLanguage
"这是一个
BinaryPredicate
,它是用来表示一个
Object
最 长部分的幅度。")
chinese_format.kif 2643-2644
(
documentation
length
EnglishLanguage
"
BinaryPredicate
that is used to state the measure of an
Object
along its longest span.")
Merge.kif 7561-7562
(
documentation
length
JapaneseLanguage
"
BinaryPredicate
は、最も長いスパンに沿って
Object
のメジャーを述べるために使用される。")
japanese_format.kif 1360-1361
(
instance
length
BinaryPredicate
)
Merge.kif 7559-7559
length
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
length
SingleValuedRelation
)
Merge.kif 7557-7557
length
ist ein
fall
von
SingleValuedRelation
%n{nicht}
(
subrelation
length
linearExtent
)
Merge.kif 7558-7558
length
ist eine
teilrelation
von
linearExtent
appearance as argument number 2
(
format
ChineseLanguage
length
"%1 的
length
%n 是 %2")
chinese_format.kif 613-613
(
format
EnglishLanguage
length
"the
length
of %1 is %n %2")
english_format.kif 616-616
(
format
FrenchLanguage
length
"le longueur de %1 est %n %2")
french_format.kif 371-371
(
format
ItalianLanguage
length
"la lunghezza di %1 è %n %2")
relations-it.txt 162-162
(
format
JapaneseLanguage
length
"%1 の
length
は %2 では %n ")
japanese_format.kif 2105-2105
(
format
PortugueseLanguage
length
"o comprimento de %1 e' %n %2")
portuguese_format.kif 323-323
(
format
cz
length
"d�lka %1 %p{je} %n{nen�} %2")
relations-cz.txt 380-380
(
format
de
length
"die laenge von %1 ist %2 %n{nicht}")
relations-de.txt 803-803
(
format
hi
length
"%1 kii lambaaii %2 %n hai")
relations-hindi.txt 201-201
(
format
ro
length
"
length
%t{lungimea} lui %1 %n{nu} este %2")
relations-ro.kif 393-393
(
format
sv
length
"längden av %1 är %n{inte} %2")
relations-sv.txt 412-412
(
format
tg
length
"ang haba ng %1 %n ay %2")
relations-tg.txt 323-323
(
subrelation
waterDepth
length
)
Mid-level-ontology.kif 17595-17595
waterDepth
ist eine
teilrelation
von
length
(
termFormat
ChineseLanguage
length
"长度")
chinese_format.kif 614-614
(
termFormat
EnglishLanguage
length
"length")
domainEnglishFormat.kif 65866-65866
(
termFormat
tg
length
"haba")
relations-tg.txt 324-324
antecedent
(=>
(
and
(
instance
?CPR
CPR
)
(
instance
?C
Compressing
)
(
path
?C ?P)
(
subProcess
?C ?CPR)
(
length
?P
(
MeasureFn
?L
Centimeter
)))
(
and
(
greaterThan
?L 5.0)
(
lessThan
?L 6.0)))
Medicine.kif 620-630
Wenn
Process
ist ein
fall
von
CPR
%n{nicht} und
Motion
ist ein
fall
von
Compressing
%n{nicht} und
Object
ist der
pfad
entlang dem
** Motion
geschieht und
** Motion
ist ein
subProzess
von
** Process
und die
laenge
von
** Object
ist
RealNumber
Centimeter
(s) %n{nicht},
dann
** RealNumber
ist
groesserAls
5.0 %n{nicht} und
** RealNumber
ist
kleinerAls
6.0 %n{nicht}
(=>
(
and
(
instance
?ET
AuditoryCanal
)
(
part
?ET ?H)
(
attribute
?H
Healthy
)
(
length
?ET
(
MeasureFn
?N
Centimeter
)))
(
approximateValue
?N 2.5))
Anatomy.kif 1567-1574
Wenn
Object
ist ein
fall
von
AuditoryCanal
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht} und
Healthy
ist ein
attribut
von
** ** Object
%n{nicht} und die
laenge
von
** Object
ist
RealNumber
Centimeter
(s) %n{nicht},
dann
approximateValue
** RealNumber
and 2.5
(=>
(
and
(
instance
?ET
EustachianTube
)
(
part
?ET ?H)
(
attribute
?H
Healthy
)
(
length
?ET
(
MeasureFn
?N
Centimeter
)))
(
approximateValue
?N 35.0))
Anatomy.kif 1517-1524
Wenn
Object
ist ein
fall
von
EustachianTube
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht} und
Healthy
ist ein
attribut
von
** ** Object
%n{nicht} und die
laenge
von
** Object
ist
RealNumber
Centimeter
(s) %n{nicht},
dann
approximateValue
** RealNumber
and 35.0
(=>
(
and
(
instance
?MC
MuscleRelaxing
)
(
patient
?MC ?M)
(
instance
?M
Muscle
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N2 ?U))))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 10582-10597
Wenn
Process
ist ein
fall
von
MuscleRelaxing
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Entity
ist ein
fall
von
Muscle
%n{nicht} und die
laenge
von
** Entity
ist
RealNumber
** entity
(s) %n{nicht} haelt
waehrend
direkt
vor
die
zeit
des Bestehens von
** Process
%n{nicht} und die
laenge
von
** Entity
ist
** RealNumber
** ** entity
(s) %n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht},
dann
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
and
(
instance
?MC
MuscularContraction
)
(
patient
?MC ?M)
(
instance
?M
Muscle
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MC))
(
length
?M
(
MeasureFn
?N2 ?U))))
(
greaterThan
?N1 ?N2))
Mid-level-ontology.kif 10560-10575
Wenn
Process
ist ein
fall
von
MuscularContraction
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Entity
ist ein
fall
von
Muscle
%n{nicht} und die
laenge
von
** Entity
ist
RealNumber
** entity
(s) %n{nicht} haelt
waehrend
direkt
vor
die
zeit
des Bestehens von
** Process
%n{nicht} und die
laenge
von
** Entity
ist
** RealNumber
** ** entity
(s) %n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht},
dann
** RealNumber
ist
groesserAls
** ** RealNumber
%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 11116-11126
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
(
relativeAngle
?O1 ?O2 ?N)
(
physicalEnd
?E1 ?O1)
(
physicalEnd
?E2 ?O1)
(
not
(
equal
?E1 ?E2))
(
length
?O1
(
MeasureFn
?N1 ?U))
(
length
?O2
(
MeasureFn
?N2 ?U))
(
distance
?E1 ?E3
(
MeasureFn
?N3 ?U))
(
physicalEnd
?E3 ?O2)
(
physicalEnd
?E4 ?O2)
(
not
(
equal
?E3 ?E4))
(
not
(
meetsSpatially
?E1 ?E3)))
(
equal
?N
(
ArcCosineFn
(
DivisionFn
(
SubtractionFn
(
SubtractionFn
(
MultiplicationFn
?N3 ?N3)
(
MultiplicationFn
?N1 ?N1))
(
MultiplicationFn
?N2 ?N2))
(
MultiplicationFn
2.0
(
MultiplicationFn
?N1 ?N2))))))
Merge.kif 17985-18010
Wenn
relativeAngle
Object
,
** Object
and
RealNumber
und
physicalEnd
** Object
and
** Object
und
physicalEnd
** Object
and
** Object
und
** ** Object
ist gleich
** ** Object
nicht und die
laenge
von
** Object
ist
** RealNumber
1
UnitOfMeasure
(s) %n{nicht} und die
laenge
von
** ** Object
ist
** RealNumber
2
** UnitOfMeasure
(s) %n{nicht} und der
abstand
zwischen
** ** Object
und
** Object
ist
** RealNumber
3
** UnitOfMeasure
(s) und
physicalEnd
** ** Object
and
** ** Object
und
physicalEnd
** Object
and
** ** Object
und
** ** Object
ist gleich
** ** Object
nicht und
** ** Object
schliesst
** ** Object
raeumlich nicht an,
dann
** RealNumber
ist gleich der
arcuskosinus
von ((
** RealNumber
3 und
** RealNumber
3 und
** RealNumber
1 und
** RealNumber
1) und
** RealNumber
2 und
** RealNumber
2) und 2.0 und
** RealNumber
1 und
** RealNumber
2 %n{nicht}
(=>
(
length
?O
(
MeasureFn
?M ?U))
(
not
(
exists
(?M2)
(
and
(
linearExtent
?O
(
MeasureFn
?M2 ?U))
(
greaterThan
?M2 ?M)))))
Merge.kif 7564-7572
Wenn die
laenge
von
Physical
ist
RealNumber
UnitOfMeasure
(s) %n{nicht},
dann es gibt nicht
** RealNumber
2 um
linearExtent
** Physical
and
** RealNumber
2
** UnitOfMeasure
(s) und
** RealNumber
2 ist
groesserAls
** RealNumber
%n{nicht}
consequent
(<=>
(
lengthOfBroadGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
BroadGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 182-189
lengthOfBroadGaugeRailway
GeographicArea
and
LengthMeasure
genau dann wenn die
laenge
von die
kategorie
die
SymbolicString
beschreibt ist
** LengthMeasure
%n{nicht}
(<=>
(
lengthOfCrudeOilPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
CrudeOilPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 712-719
lengthOfCrudeOilPipeline
GeographicArea
and
LengthMeasure
genau dann wenn die
laenge
von die
kategorie
die
SymbolicString
beschreibt ist
** LengthMeasure
%n{nicht}
(<=>
(
lengthOfDualGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
DualGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 210-217
lengthOfDualGaugeRailway
GeographicArea
and
LengthMeasure
genau dann wenn die
laenge
von die
kategorie
die
SymbolicString
beschreibt ist
** LengthMeasure
%n{nicht}
(<=>
(
lengthOfElectrifiedRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
ElectrifiedRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 126-133
lengthOfElectrifiedRailway
GeographicArea
and
LengthMeasure
genau dann wenn die
laenge
von die
kategorie
die
SymbolicString
beschreibt ist
** LengthMeasure
%n{nicht}
(<=>
(
lengthOfExpresswaySystem
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
Expressway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 568-575
lengthOfExpresswaySystem
GeographicArea
and
LengthMeasure
genau dann wenn die
laenge
von die
kategorie
die
SymbolicString
beschreibt ist
** LengthMeasure
%n{nicht}
(<=>
(
lengthOfMultipleTrackRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
MultipleTrackRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 154-161
lengthOfMultipleTrackRailway
GeographicArea
and
LengthMeasure
genau dann wenn die
laenge
von die
kategorie
die
SymbolicString
beschreibt ist
** LengthMeasure
%n{nicht}
(<=>
(
lengthOfNarrowGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
NarrowGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 237-244
lengthOfNarrowGaugeRailway
GeographicArea
and
LengthMeasure
genau dann wenn die
laenge
von die
kategorie
die
SymbolicString
beschreibt ist
** LengthMeasure
%n{nicht}
(<=>
(
lengthOfNaturalGasPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
NaturalGasPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 735-742
lengthOfNaturalGasPipeline
GeographicArea
and
LengthMeasure
genau dann wenn die
laenge
von die
kategorie
die
SymbolicString
beschreibt ist
** LengthMeasure
%n{nicht}
(<=>
(
lengthOfPavedHighway
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
SurfacedRoadway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 542-549
lengthOfPavedHighway
GeographicArea
and
LengthMeasure
genau dann wenn die
laenge
von die
kategorie
die
SymbolicString
beschreibt ist
** LengthMeasure
%n{nicht}
(<=>
(
lengthOfPetroleumProductPipeline
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPELINE
(
and
(
instance
?PIPELINE
PetroleumProductPipeline
)
(
located
?PIPELINE ?AREA))) ?LENGTH))
Transportation.kif 758-765
lengthOfPetroleumProductPipeline
GeographicArea
and
LengthMeasure
genau dann wenn die
laenge
von die
kategorie
die
SymbolicString
beschreibt ist
** LengthMeasure
%n{nicht}
(<=>
(
lengthOfStandardGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
StandardGaugeRailway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 265-272
lengthOfStandardGaugeRailway
GeographicArea
and
LengthMeasure
genau dann wenn die
laenge
von die
kategorie
die
SymbolicString
beschreibt ist
** LengthMeasure
%n{nicht}
(<=>
(
lengthOfUnclassifiedGaugeRailway
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
located
?RAILWAYS ?AREA)
(
not
(
instance
?RAILWAYS
(
UnionFn
StandardGaugeRailway
(
UnionFn
BroadGaugeRailway
(
UnionFn
DualGaugeRailway
NarrowGaugeRailway
))))))) ?LENGTH))
Transportation.kif 294-306
lengthOfUnclassifiedGaugeRailway
GeographicArea
and
LengthMeasure
genau dann wenn die
laenge
von die
kategorie
die
SymbolicString
beschreibt ist
** LengthMeasure
%n{nicht}
(<=>
(
lengthOfUnpavedHighway
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
UnsurfacedRoadway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 601-608
lengthOfUnpavedHighway
GeographicArea
and
LengthMeasure
genau dann wenn die
laenge
von die
kategorie
die
SymbolicString
beschreibt ist
** LengthMeasure
%n{nicht}
(<=>
(
totalLengthOfHighwaySystem
?AREA ?LENGTH)
(
length
(
KappaFn
?HIGHWAYS
(
and
(
instance
?HIGHWAYS
Roadway
)
(
located
?HIGHWAYS ?AREA))) ?LENGTH))
Transportation.kif 484-491
totalLengthOfHighwaySystem
GeographicArea
and
LengthMeasure
genau dann wenn die
laenge
von die
kategorie
die
SymbolicString
beschreibt ist
** LengthMeasure
%n{nicht}
(<=>
(
totalLengthOfRailwaySystem
?AREA ?LENGTH)
(
length
(
KappaFn
?RAILWAYS
(
and
(
instance
?RAILWAYS
Railway
)
(
located
?RAILWAYS ?AREA))) ?LENGTH))
Transportation.kif 98-105
totalLengthOfRailwaySystem
GeographicArea
and
LengthMeasure
genau dann wenn die
laenge
von die
kategorie
die
SymbolicString
beschreibt ist
** LengthMeasure
%n{nicht}
(<=>
(
totalLengthOfWaterways
?AREA ?LENGTH)
(
length
(
KappaFn
?WATERWAY
(
and
(
instance
?WATERWAY
Waterway
)
(
partlyLocated
?WATERWAY ?AREA))) ?LENGTH))
Transportation.kif 656-663
totalLengthOfWaterways
GeographicArea
and
LengthMeasure
genau dann wenn die
laenge
von die
kategorie
die
SymbolicString
beschreibt ist
** LengthMeasure
%n{nicht}
(<=>
(
totalPipelineInArea
?AREA ?LENGTH)
(
length
(
KappaFn
?PIPE
(
and
(
instance
?PIPE
Pipeline
)
(
located
?PIPE ?AREA))) ?LENGTH))
Transportation.kif 685-692
totalPipelineInArea
GeographicArea
and
LengthMeasure
genau dann wenn die
laenge
von die
kategorie
die
SymbolicString
beschreibt ist
** LengthMeasure
%n{nicht}
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
LongRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
or
(
greaterThanOrEqualTo
?LENGTH 2438)
(
lessThanOrEqualTo
?LENGTH 3047)))))
Transportation.kif 1445-1457
Wenn
Object
ist ein
fall
von
Airport
%n{nicht} und
LongRunwayAirport
ist ein
attribut
von
** Object
%n{nicht},
dann es gibt
** Object
und
RealNumber
um
** ** Object
ist ein
fall
von
Runway
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und die
laenge
von
** ** Object
ist
** RealNumber
Meter
(s) %n{nicht} und
** RealNumber
ist
groesserAlsOderGleich
2438 %n{nicht} oder
** RealNumber
ist
kleinerAlsOderGleich
3047 %n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
Airport
%n{nicht} und
MediumLengthRunwayAirport
ist ein
attribut
von
** Object
%n{nicht},
dann es gibt
** Object
und
RealNumber
um
** ** Object
ist ein
fall
von
Runway
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und die
laenge
von
** ** Object
ist
** RealNumber
Meter
(s) %n{nicht} und
** RealNumber
ist
groesserAlsOderGleich
1524 %n{nicht} oder
** RealNumber
ist
kleinerAlsOderGleich
2437 %n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
Airport
%n{nicht} und
ShortRunwayAirport
ist ein
attribut
von
** Object
%n{nicht},
dann es gibt
** Object
und
RealNumber
um
** ** Object
ist ein
fall
von
Runway
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und die
laenge
von
** ** Object
ist
** RealNumber
Meter
(s) %n{nicht} und
** RealNumber
ist
groesserAlsOderGleich
914 %n{nicht} oder
** RealNumber
ist
kleinerAlsOderGleich
1523 %n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
Airport
%n{nicht} und
VeryLongRunwayAirport
ist ein
attribut
von
** Object
%n{nicht},
dann es gibt
** Object
und
RealNumber
um
** ** Object
ist ein
fall
von
Runway
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und die
laenge
von
** ** Object
ist
** RealNumber
Meter
(s) %n{nicht} und
** RealNumber
ist
groesserAls
3047 %n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
Airport
%n{nicht} und
VeryShortRunwayAirport
ist ein
attribut
von
** Object
%n{nicht},
dann es gibt
** Object
und
RealNumber
um
** ** Object
ist ein
fall
von
Runway
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und die
laenge
von
** ** Object
ist
** RealNumber
Meter
(s) %n{nicht} und
** RealNumber
ist
kleinerAls
914 %n{nicht}
(=>
(
and
(
instance
?L
Lengthening
)
(
patient
?L ?O))
(
exists
(?L1 ?L2 ?U)
(
and
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
BeginFn
(
WhenFn
?L))
(
length
?O
(
MeasureFn
?L1 ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?L))
(
length
?O
(
MeasureFn
?L2 ?U)))
(
greaterThan
?L2 ?L1))))
Mid-level-ontology.kif 23862-23877
Wenn
Process
ist ein
fall
von
Lengthening
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht},
dann es gibt
** Process
1,
** Process
2, and und
** Entity
um
** ** Entity
ist ein
fall
von
UnitOfLength
%n{nicht} und die
laenge
von
** Entity
ist
** Process
1
** ** Entity
(s) %n{nicht} haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht} und die
laenge
von
** Entity
ist
** Process
2
** ** Entity
(s) %n{nicht} haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht} und
** Process
2 ist
groesserAls
** Process
1 %n{nicht}
(=>
(
and
(
instance
?S
Shortening
)
(
patient
?S ?O))
(
exists
(?L1 ?L2 ?U)
(
and
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
BeginFn
(
WhenFn
?S))
(
length
?O
(
MeasureFn
?L1 ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?S))
(
length
?O
(
MeasureFn
?L2 ?U)))
(
greaterThan
?L1 ?L2))))
Mid-level-ontology.kif 17235-17250
Wenn
Process
ist ein
fall
von
Shortening
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht},
dann es gibt
RealNumber
,
** RealNumber
, and und
** Entity
um
** ** Entity
ist ein
fall
von
UnitOfLength
%n{nicht} und die
laenge
von
** Entity
ist
** RealNumber
** ** Entity
(s) %n{nicht} haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht} und die
laenge
von
** Entity
ist
** ** RealNumber
** ** Entity
(s) %n{nicht} haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht} und
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
length
?O ?Q))
Mid-level-ontology.kif 31084-31089
Wenn
memberMeasure
Set
,
MeasurementAttribute
and
LengthMeasure
und
** Set
ist ein
fall
von
Set
%n{nicht} und
Physical
ist ein
element
von
** Set
%n{nicht},
dann die
laenge
von
** Physical
ist
** LengthMeasure
%n{nicht}
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
(
length
(
ShorelineFn
SouthernOcean
Antarctica
)
(
MeasureFn
17968.0
(
KiloFn
Meter
)))
Geography.kif 4671-4674
Die
laenge
von
ShorelineFn
SouthernOcean
and
Antarctica
ist 17968.0 1
tausend
Meter
(s) %n{nicht}
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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