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
trackWidth
Sigma KEE - trackWidth
trackWidth
appearance as argument number 1
(
documentation
trackWidth
EnglishLanguage
"The distance between the two rails of a
Railway
.")
Transportation.kif 394-395
(
domain
trackWidth
1
Railway
)
Transportation.kif 396-396
Die Zahl 1 Argument von
trackWidth
ist ein
fall
von
Railway
%n{nicht}
(
domain
trackWidth
2
LengthMeasure
)
Transportation.kif 397-397
Die Zahl 2 Argument von
trackWidth
ist ein
fall
von
LengthMeasure
%n{nicht}
(
instance
trackWidth
BinaryPredicate
)
Transportation.kif 392-392
trackWidth
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
subrelation
trackWidth
measure
)
Transportation.kif 393-393
trackWidth
ist eine
teilrelation
von
measure
appearance as argument number 2
(
format
ChineseLanguage
trackWidth
"%2 %n 是 %1 的 track 宽度")
domainEnglishFormat.kif 2527-2527
(
format
ChineseTraditionalLanguage
trackWidth
"%2 %n 是 %1 的 track 寬度")
domainEnglishFormat.kif 2526-2526
(
format
EnglishLanguage
trackWidth
"%2 is %n a track width of %1")
domainEnglishFormat.kif 2525-2525
(
termFormat
ChineseLanguage
trackWidth
"轨道宽度")
domainEnglishFormat.kif 58724-58724
(
termFormat
ChineseTraditionalLanguage
trackWidth
"軌道寬度")
domainEnglishFormat.kif 58723-58723
(
termFormat
EnglishLanguage
trackWidth
"track width")
domainEnglishFormat.kif 58722-58722
antecedent
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
BroadGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
greaterThan
?WIDTH 1.44))
Transportation.kif 403-409
Wenn
Railway
ist ein
fall
von
Railway
%n{nicht} und
** Railway
hat ein
attribut
BroadGauge
%n{nicht} und
trackWidth
** Railway
and
RealNumber
Meter
(s),
dann
** RealNumber
ist
groesserAls
1.44 %n{nicht}
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
NarrowGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
lessThanOrEqualTo
?WIDTH 1.435))
Transportation.kif 453-458
Wenn
Railway
ist ein
fall
von
Railway
%n{nicht} und
** Railway
hat ein
attribut
NarrowGauge
%n{nicht} und
trackWidth
** Railway
and
RealNumber
Meter
(s),
dann
** RealNumber
ist
kleinerAlsOderGleich
1.435 %n{nicht}
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
StandardGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
greaterThanOrEqualTo
?WIDTH 1.435))
Transportation.kif 427-433
Wenn
Railway
ist ein
fall
von
Railway
%n{nicht} und
** Railway
hat ein
attribut
StandardGauge
%n{nicht} und
trackWidth
** Railway
and
RealNumber
Meter
(s),
dann
** RealNumber
ist
groesserAlsOderGleich
1.435 %n{nicht}
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
StandardGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
lessThanOrEqualTo
?WIDTH 1.44))
Transportation.kif 435-441
Wenn
Railway
ist ein
fall
von
Railway
%n{nicht} und
** Railway
hat ein
attribut
StandardGauge
%n{nicht} und
trackWidth
** Railway
and
RealNumber
Meter
(s),
dann
** RealNumber
ist
kleinerAlsOderGleich
1.44 %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