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
navigableForDraft
Sigma KEE - navigableForDraft
navigableForDraft
appearance as argument number 1
(
documentation
navigableForDraft
EnglishLanguage
"(
navigableForDraft
?WATERWAY ?DRAFT) means that the
Waterway
?WATERWAY can be transited by vessels up to the draft ?DRAFT.")
Transportation.kif 2649-2651
(
domain
navigableForDraft
1
WaterArea
)
Transportation.kif 2646-2646
navigableForDraft
の数値 1 引数は
水域
の
instance
では %n
(
domain
navigableForDraft
2
LengthMeasure
)
Transportation.kif 2647-2647
navigableForDraft
の数値 2 引数は
長さ測定
の
instance
では %n
(
instance
navigableForDraft
BinaryPredicate
)
Transportation.kif 2645-2645
navigableForDraft
は
2進述語
の
instance
では %n
appearance as argument number 2
(
format
ChineseLanguage
navigableForDraft
"%2 %n 是草案 %1 的 navigable ")
domainEnglishFormat.kif 1791-1791
(
format
ChineseTraditionalLanguage
navigableForDraft
"%2 %n 是草案 %1 的 navigable ")
domainEnglishFormat.kif 1790-1790
(
format
EnglishLanguage
navigableForDraft
"%2 is %n a navigable for draft of %1")
domainEnglishFormat.kif 1789-1789
(
termFormat
ChineseLanguage
navigableForDraft
"可通航草案")
domainEnglishFormat.kif 39969-39969
(
termFormat
ChineseTraditionalLanguage
navigableForDraft
"可通航草案")
domainEnglishFormat.kif 39968-39968
(
termFormat
EnglishLanguage
navigableForDraft
"navigable for draft")
domainEnglishFormat.kif 39967-39967
antecedent
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
greaterThan
?AMOUNT ?DRAFT))
(
capability
(
TripFn
?SHIP)
path
?WATERWAY))
Transportation.kif 2653-2658
navigableForDraft
水域
and
実数
の
Meter
(s)
ladenDraft
WaterVehicle
and
実数
の
Meter
(s)
実数
は
実数
より
greater
では %n
水域
は
TripFn
WaterVehicle
を
path
として行う
capable
では %n
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
lessThanOrEqualTo
?AMOUNT ?DRAFT))
(
not
(
capability
(
TripFn
?SHIP)
path
?WATERWAY)))
Transportation.kif 2660-2665
navigableForDraft
水域
and
実数
の
Meter
(s)
ladenDraft
WaterVehicle
and
実数
の
Meter
(s)
実数
は
実数
より
less
または同等 では %n
水域
は
TripFn
WaterVehicle
を
path
として行う
capable
では
consequent
(=>
(
and
(
instance
?WATERWAY
Waterway
)
(
depth
?OBJ ?WATERWAY
(
MeasureFn
?DEPTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
lessThan
?DRAFT ?DEPTH))
(
navigableForDraft
?WATERWAY
(
MeasureFn
?DRAFT ?UNIT)))
Transportation.kif 2667-2673
水域
は
Waterway
の
instance
では %n
depth
物理
,
水域
and
実数
の
測定単位
(s)
測定単位
は
UnitOfLength
の
instance
では %n
実数
は
実数
より
less
では %n
navigableForDraft
水域
and
実数
の
測定単位
(s)
(=>
(
instance
?HARBOR
DeepDraftHarbor
)
(
navigableForDraft
?HARBOR
(
MeasureFn
13.7
Meter
)))
Transportation.kif 900-902
水域
は
DeepDraftHarbor
の
instance
では %n
navigableForDraft
水域
and 13.7 の
Meter
(s)
(=>
(
instance
?HARBOR
DeepDraftHarbor
)
(
navigableForDraft
?HARBOR
(
MeasureFn
45
FootLength
)))
Transportation.kif 904-906
水域
は
DeepDraftHarbor
の
instance
では %n
navigableForDraft
水域
and 45 の
FootLength
(s)
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