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
ladenDraft
Sigma KEE - ladenDraft
ladenDraft
appearance as argument number 1
(
documentation
ladenDraft
EnglishLanguage
"(
ladenDraft
?SHIP ?AMOUNT) means that the
WaterVehicle
?SHIP requires a
waterDepth
of at least ?AMOUNT to sail without running aground, when she is loaded at capacity.")
Transportation.kif 2678-2680
(
domain
ladenDraft
1
WaterVehicle
)
Transportation.kif 2676-2676
Il numero 1 argomenti di
ladenDraft
è un
istanza
di
WaterVehicle
(
domain
ladenDraft
2
LengthMeasure
)
Transportation.kif 2677-2677
Il numero 2 argomenti di
ladenDraft
è un
istanza
di
MisuraDiLunghezza
(
instance
ladenDraft
BinaryPredicate
)
Transportation.kif 2675-2675
ladenDraft
è un'
istanza
di
PredicatoBinario
appearance as argument number 2
(
format
ChineseLanguage
ladenDraft
"%2 %n 是 %1 的 laden 草案")
domainEnglishFormat.kif 1427-1427
(
format
ChineseTraditionalLanguage
ladenDraft
"%2 %n 是 %1 的 laden 草案")
domainEnglishFormat.kif 1426-1426
(
format
EnglishLanguage
ladenDraft
"%2 is %n a laden draft of %1")
domainEnglishFormat.kif 1425-1425
(
termFormat
ChineseLanguage
ladenDraft
"载货草案")
domainEnglishFormat.kif 33085-33085
(
termFormat
ChineseTraditionalLanguage
ladenDraft
"載貨草案")
domainEnglishFormat.kif 33084-33084
(
termFormat
EnglishLanguage
ladenDraft
"laden draft")
domainEnglishFormat.kif 33083-33083
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
SuperficieAcquatica
and
NumeroReale
Meter
(s
ladenDraft
WaterVehicle
and
NumeroReale
Meter
(s
NumeroReale
è
pi
ù grande di
NumeroReale
SuperficieAcquatica
è
capace
di fare
TripFn
WaterVehicle
nel ruolo
path
(=>
(
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
SuperficieAcquatica
and
NumeroReale
Meter
(s
ladenDraft
WaterVehicle
and
NumeroReale
Meter
(s
NumeroReale
è
minore
o uguale a
NumeroReale
SuperficieAcquatica
è
capace
di fare
TripFn
WaterVehicle
nel ruolo
path
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