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
fleetDeadWeightTonnage
Sigma KEE - fleetDeadWeightTonnage
fleetDeadWeightTonnage
appearance as argument number 1
(
documentation
fleetDeadWeightTonnage
EnglishLanguage
"(
fleetDeadWeightTonnage
?FLEET ?AMOUNT) means that the
Collection
of
Ship
s ?FLEET has a total carrying capacity of ?AMOUNT in
LongTon
s. This is the total
vesselDeadWeightTonnage
of all the vessels combined. Dead Weight Tonnage, or DWT, is the weight of cargo plus stores that a vessel can carry when immersed to the proper load line.")
Transportation.kif 1006-1011
(
domain
fleetDeadWeightTonnage
1
Collection
)
Transportation.kif 1003-1003
(
domain
fleetDeadWeightTonnage
2
MassMeasure
)
Transportation.kif 1004-1004
(
instance
fleetDeadWeightTonnage
BinaryPredicate
)
Transportation.kif 1002-1002
(
subrelation
fleetDeadWeightTonnage
measure
)
Transportation.kif 1005-1005
appearance as argument number 2
(
format
ChineseLanguage
fleetDeadWeightTonnage
"%2 %n 是 %1 的 fleet 载重吨位")
domainEnglishFormat.kif 1053-1053
(
format
ChineseTraditionalLanguage
fleetDeadWeightTonnage
"%2 %n 是 %1 的 fleet 載重噸位")
domainEnglishFormat.kif 1052-1052
(
format
EnglishLanguage
fleetDeadWeightTonnage
"%2 is %n a fleet dead weight tonnage of %1")
domainEnglishFormat.kif 1051-1051
(
termFormat
ChineseLanguage
fleetDeadWeightTonnage
"舰队载重吨位")
domainEnglishFormat.kif 24218-24218
(
termFormat
ChineseTraditionalLanguage
fleetDeadWeightTonnage
"艦隊載重噸位")
domainEnglishFormat.kif 24217-24217
(
termFormat
EnglishLanguage
fleetDeadWeightTonnage
"fleet dead weight tonnage")
domainEnglishFormat.kif 24216-24216
antecedent
(=>
(
and
(
instance
?UNIT
UnitOfMass
)
(
fleetDeadWeightTonnage
?FLEET
(
MeasureFn
?NUMBER ?UNIT)))
(
equal
?UNIT
LongTon
))
Transportation.kif 1013-1017
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