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 2682-2684
(
domain
navigableForDraft
1
WaterArea
)
Transportation.kif 2679-2679
域
可通航草案
, 1 and
WaterArea
(
domain
navigableForDraft
2
LengthMeasure
)
Transportation.kif 2680-2680
域
可通航草案
, 2 and
LengthMeasure
(
instance
navigableForDraft
BinaryPredicate
)
Transportation.kif 2678-2678
例
可通航草案
and
BinaryPredicate
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 39971-39971
(
termFormat
ChineseTraditionalLanguage
navigableForDraft
"可通航草案")
domainEnglishFormat.kif 39970-39970
(
termFormat
EnglishLanguage
navigableForDraft
"navigable for draft")
domainEnglishFormat.kif 39969-39969
antecedent
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
greaterThan
?AMOUNT ?DRAFT))
(
capability
(
TripFn
?SHIP)
path
?WATERWAY))
Transportation.kif 2686-2691
測量
RealNumber
and
儀表
是草案
WaterArea
的
navigable
測量
RealNumber
and
儀表
是
水車
的
laden
草案
比較多
RealNumber
and
RealNumber
能力
水車
的
trip
,
路徑
and
WaterArea
(=>
(
and
(
navigableForDraft
?WATERWAY
(
MeasureFn
?AMOUNT
Meter
))
(
ladenDraft
?SHIP
(
MeasureFn
?DRAFT
Meter
))
(
lessThanOrEqualTo
?AMOUNT ?DRAFT))
(
not
(
capability
(
TripFn
?SHIP)
path
?WATERWAY)))
Transportation.kif 2693-2698
測量
RealNumber
and
儀表
是草案
WaterArea
的
navigable
測量
RealNumber
and
儀表
是
水車
的
laden
草案
小於或等於
RealNumber
and
RealNumber
能力
水車
的
trip
,
路徑
and
WaterArea
consequent
(=>
(
and
(
instance
?WATERWAY
Waterway
)
(
depth
?OBJ ?WATERWAY
(
MeasureFn
?DEPTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
lessThan
?DRAFT ?DEPTH))
(
navigableForDraft
?WATERWAY
(
MeasureFn
?DRAFT ?UNIT)))
Transportation.kif 2700-2706
例
WaterArea
and
水路
對於
WaterArea
從
Physical
的
depth
是
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfLength
少於
RealNumber
and
RealNumber
測量
RealNumber
and
UnitOfMeasure
是草案
WaterArea
的
navigable
(=>
(
instance
?HARBOR
DeepDraftHarbor
)
(
navigableForDraft
?HARBOR
(
MeasureFn
13.7
Meter
)))
Transportation.kif 900-902
例
WaterArea
and
深海港口
測量
13.7 and
儀表
是草案
WaterArea
的
navigable
(=>
(
instance
?HARBOR
DeepDraftHarbor
)
(
navigableForDraft
?HARBOR
(
MeasureFn
45
FootLength
)))
Transportation.kif 904-906
例
WaterArea
and
深海港口
測量
45 and
腳長
是草案
WaterArea
的
navigable
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