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
fleetGrossRegisteredTonnage
Sigma KEE - fleetGrossRegisteredTonnage
fleetGrossRegisteredTonnage
appearance as argument number 1
(
documentation
fleetGrossRegisteredTonnage
EnglishLanguage
"(
fleetGrossRegisteredTonnage
?FLEET ?AMOUNT) means that the
Collection
of
Ship
s ?FLEET has a total carrying capacity of ?AMOUNT in
RegistryTon
s. This is the total
vesselGrossRegisteredTonnage
of all the vessels combined. Gross Registered Tonnage, or GRT, is the capacity of a vessel calculated on an equivalence of 100 cubic feet of sheltered area per ton.")
Transportation.kif 988-994
(
domain
fleetGrossRegisteredTonnage
1
Collection
)
Transportation.kif 985-985
fleetGrossRegisteredTonnage
の数値 1 引数は
コレクション
の
instance
では %n
(
domain
fleetGrossRegisteredTonnage
2
PhysicalQuantity
)
Transportation.kif 986-986
fleetGrossRegisteredTonnage
の数値 2 引数は
物理量
の
instance
では %n
(
instance
fleetGrossRegisteredTonnage
BinaryPredicate
)
Transportation.kif 984-984
fleetGrossRegisteredTonnage
は
2進述語
の
instance
では %n
(
subrelation
fleetGrossRegisteredTonnage
measure
)
Transportation.kif 987-987
fleetGrossRegisteredTonnage
は
measure
の
subrelation
では %n
appearance as argument number 2
(
format
ChineseLanguage
fleetGrossRegisteredTonnage
"%2 %n 是 %1 的 fleet 总注册顿位")
domainEnglishFormat.kif 1057-1057
(
format
ChineseTraditionalLanguage
fleetGrossRegisteredTonnage
"%2 %n 是 %1 的 fleet 總註冊頓位")
domainEnglishFormat.kif 1056-1056
(
format
EnglishLanguage
fleetGrossRegisteredTonnage
"%2 is %n a fleet gross registered tonnage of %1")
domainEnglishFormat.kif 1055-1055
(
termFormat
ChineseLanguage
fleetGrossRegisteredTonnage
"船队总注册吨位")
domainEnglishFormat.kif 24224-24224
(
termFormat
ChineseTraditionalLanguage
fleetGrossRegisteredTonnage
"船隊總註冊噸位")
domainEnglishFormat.kif 24223-24223
(
termFormat
EnglishLanguage
fleetGrossRegisteredTonnage
"fleet gross registered tonnage")
domainEnglishFormat.kif 24222-24222
antecedent
(=>
(
and
(
instance
?UNIT
UnitOfMass
)
(
fleetGrossRegisteredTonnage
?FLEET
(
MeasureFn
?NUMBER ?UNIT)))
(
equal
?UNIT
RegistryTon
))
Transportation.kif 996-1000
測定単位
は
UnitOfMass
の
instance
では %n
fleetGrossRegisteredTonnage
コレクション
and
実数
の
測定単位
(s)
測定単位
は
RegistryTon
と
equal
では %n
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