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
linearExtent
Sigma KEE - linearExtent
linearExtent
appearance as argument number 1
(
documentation
linearExtent
ChineseLanguage
"这是一个
BinaryPredicate
,它是用于表示量度 一个
Object
表面上从一点到另一点间的距离。注:谓词
length
和
distance
之间的分别在于,
length
是用来表示一个单一物体其中一个维度的
LengthMeasure
,而是用来表示两个不同物体之间的
LengthMeasure
。")
chinese_format.kif 2637-2639
(
documentation
linearExtent
EnglishLanguage
"
BinaryPredicate
that is used to state the measure of an
Object
from one point to another point along its surface. Note that the difference between the predicates
length
and
distance
is that the
length
is used to state the
LengthMeasure
of one of the dimensions of a single object, while
distance
is used to state the
LengthMeasure
that separates two distinct objects.")
Merge.kif 7534-7539
(
documentation
linearExtent
JapaneseLanguage
"
BinaryPredicate
は、表面に沿ってある点から別 の点までの0のメジャーを表すために使用される。注:述語
length
と
distance
の違いは、
length
が単一のオブジェクトのディメンションの1つの
LengthMeasure
を表すのに使用され、
distance
が 使用される点である。")
japanese_format.kif 1352-1355
(
domain
linearExtent
2
LengthMeasure
)
Merge.kif 7532-7532
Die Zahl 2 Argument von
linearExtent
ist ein
fall
von
LengthMeasure
%n{nicht}
(
instance
linearExtent
BinaryPredicate
)
Merge.kif 7531-7531
linearExtent
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
subrelation
linearExtent
measure
)
Merge.kif 7530-7530
linearExtent
ist eine
teilrelation
von
measure
appearance as argument number 2
(
format
ChineseLanguage
linearExtent
"%1 的 linear extent 是 %2 ")
domainEnglishFormat.kif 3762-3762
(
format
ChineseTraditionalLanguage
linearExtent
"%1 的 linear extent 是 %2 ")
domainEnglishFormat.kif 3761-3761
(
format
EnglishLanguage
linearExtent
"the linear extent of %1 is %2")
domainEnglishFormat.kif 3760-3760
(
subrelation
height
linearExtent
)
Merge.kif 7548-7548
height
ist eine
teilrelation
von
linearExtent
(
subrelation
length
linearExtent
)
Merge.kif 7557-7557
length
ist eine
teilrelation
von
linearExtent
(
subrelation
width
linearExtent
)
Merge.kif 7543-7543
width
ist eine
teilrelation
von
linearExtent
(
termFormat
EnglishLanguage
linearExtent
"linear extent")
domainEnglishFormat.kif 65866-65866
antecedent
(=>
(
and
(
instance
?ZONE
ExclusiveFishingZone
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1141-1146
Wenn
Physical
ist ein
fall
von
ExclusiveFishingZone
%n{nicht} und
linearExtent
** Physical
and
RealNumber
NauticalMile
(s),
dann
** RealNumber
ist
kleinerAlsOderGleich
200.0 %n{nicht}
(=>
(
and
(
instance
?ZONE
ExtendedFishingZone
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1173-1178
Wenn
Physical
ist ein
fall
von
ExtendedFishingZone
%n{nicht} und
linearExtent
** Physical
and
RealNumber
NauticalMile
(s),
dann
** RealNumber
ist
kleinerAlsOderGleich
200.0 %n{nicht}
(=>
(
and
(
instance
?ZONE
MaritimeExclusiveEconomicZone
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1109-1114
Wenn
Physical
ist ein
fall
von
MaritimeExclusiveEconomicZone
%n{nicht} und
linearExtent
** Physical
and
RealNumber
NauticalMile
(s),
dann
** RealNumber
ist
kleinerAlsOderGleich
200.0 %n{nicht}
(=>
(
and
(
instance
?ZONE
MaritimeShelfArea
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 200.0))
Geography.kif 1068-1073
Wenn
Physical
ist ein
fall
von
MaritimeShelfArea
%n{nicht} und
linearExtent
** Physical
and
RealNumber
NauticalMile
(s),
dann
** RealNumber
ist
kleinerAlsOderGleich
200.0 %n{nicht}
(=>
(
and
(
instance
?ZONE
TerritorialSea
)
(
linearExtent
?ZONE
(
MeasureFn
?WIDTH
NauticalMile
)))
(
lessThanOrEqualTo
?WIDTH 12.0))
Geography.kif 1214-1219
Wenn
Physical
ist ein
fall
von
TerritorialSea
%n{nicht} und
linearExtent
** Physical
and
RealNumber
NauticalMile
(s),
dann
** RealNumber
ist
kleinerAlsOderGleich
12.0 %n{nicht}
(=>
(
and
(
instance
?butte
Butte
)
(
instance
?mesa
Mesa
)
(
linearExtent
?butte
(
MeasureFn
?size1 ?unit))
(
linearExtent
?mesa
(
MeasureFn
?size2 ?unit)))
(
greaterThan
?size2 ?size1))
Geography.kif 4188-4194
Wenn
Physical
ist ein
fall
von
Butte
%n{nicht} und
** Physical
ist ein
fall
von
Mesa
%n{nicht} und
linearExtent
** Physical
and
RealNumber
UnitOfMeasure
(s) und
linearExtent
** ** Physical
and
** RealNumber
** UnitOfMeasure
(s),
dann
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
consequent
(=>
(
length
?O
(
MeasureFn
?M ?U))
(
not
(
exists
(?M2)
(
and
(
linearExtent
?O
(
MeasureFn
?M2 ?U))
(
greaterThan
?M2 ?M)))))
Merge.kif 7563-7571
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}
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