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
The number 1 argument of
fleet dead weight tonnage
is an
instance
of
collection
(
domain
fleetDeadWeightTonnage
2
MassMeasure
)
Transportation.kif 1004-1004
The number 2 argument of
fleet dead weight tonnage
is an
instance
of
mass measure
(
instance
fleetDeadWeightTonnage
BinaryPredicate
)
Transportation.kif 1002-1002
fleet dead weight tonnage
is an
instance
of
binary predicate
(
subrelation
fleetDeadWeightTonnage
measure
)
Transportation.kif 1005-1005
fleet dead weight tonnage
is a
subrelation
of
measure
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
If
an unit of measure
is an
instance
of
unit of mass
and
a real number
the unit of measure
(s) is a
fleet
dead weight tonnage of
a collection
,
then
the unit of measure
is
equal
to
long ton
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