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
vesselDisplacement
Sigma KEE - vesselDisplacement
vesselDisplacement
appearance as argument number 1
(
documentation
vesselDisplacement
EnglishLanguage
"(
vesselDisplacement
?VESSEL ?AMOUNT) means that the displacement of
WaterVehicle
?VESSEL is the
PhysicalQuantity
?AMOUNT. The displacement of a vessel may be measured in
LongTon
s (Dead Weight Tonnage, or DWT) or by volume (Gross Registered Tonnage, or GRT).")
Transportation.kif 2549-2553
(
domain
vesselDisplacement
1
WaterVehicle
)
Transportation.kif 2546-2546
Die Zahl 1 Argument von
vesselDisplacement
ist ein
fall
von
WaterVehicle
%n{nicht}
(
domain
vesselDisplacement
2
PhysicalQuantity
)
Transportation.kif 2547-2547
Die Zahl 2 Argument von
vesselDisplacement
ist ein
fall
von
PhysicalQuantity
%n{nicht}
(
instance
vesselDisplacement
BinaryPredicate
)
Transportation.kif 2545-2545
vesselDisplacement
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
subrelation
vesselDisplacement
measure
)
Transportation.kif 2548-2548
vesselDisplacement
ist eine
teilrelation
von
measure
appearance as argument number 2
(
format
ChineseLanguage
vesselDisplacement
"%2 %n 是 %1 的 vessel 位移")
domainEnglishFormat.kif 2591-2591
(
format
ChineseTraditionalLanguage
vesselDisplacement
"%2 %n 是 %1 的 vessel 位移")
domainEnglishFormat.kif 2590-2590
(
format
EnglishLanguage
vesselDisplacement
"%2 is %n a vessel displacement of %1")
domainEnglishFormat.kif 2589-2589
(
subrelation
vesselDeadWeightTonnage
vesselDisplacement
)
Transportation.kif 2558-2558
vesselDeadWeightTonnage
ist eine
teilrelation
von
vesselDisplacement
(
subrelation
vesselGrossRegisteredTonnage
vesselDisplacement
)
Transportation.kif 2569-2569
vesselGrossRegisteredTonnage
ist eine
teilrelation
von
vesselDisplacement
(
termFormat
ChineseLanguage
vesselDisplacement
"船只位移")
domainEnglishFormat.kif 61582-61582
(
termFormat
ChineseTraditionalLanguage
vesselDisplacement
"船隻位移")
domainEnglishFormat.kif 61581-61581
(
termFormat
EnglishLanguage
vesselDisplacement
"vessel displacement")
domainEnglishFormat.kif 61580-61580
antecedent
(=>
(
and
(
navigableForShippingTonnage
?WATERWAY
(
MeasureFn
?TONNAGE
LongTon
))
(
instance
?VESSEL
WaterVehicle
)
(
vesselDisplacement
?VESSEL
(
MeasureFn
?DWT
LongTon
))
(
lessThanOrEqualTo
?DWT ?TONNAGE))
(
capability
(
TripFn
?VESSEL)
path
?WATERWAY))
Transportation.kif 2670-2676
Wenn
navigableForShippingTonnage
WaterArea
and
RealNumber
LongTon
(s) und
WaterVehicle
ist ein
fall
von
WaterVehicle
%n{nicht} und
vesselDisplacement
** WaterVehicle
and
** RealNumber
LongTon
(s) und
** ** RealNumber
ist
kleinerAlsOderGleich
** RealNumber
%n{nicht},
dann
** WaterArea
ist faehig %n{nicht}, in der Rolle
path
TripFn
** WaterVehicle
zu tun
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