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
maximumPayloadHeightWidth
Sigma KEE - maximumPayloadHeightWidth
maximumPayloadHeightWidth
appearance as argument number 1
(
documentation
maximumPayloadHeightWidth
EnglishLanguage
"(maximumHeightWidth ?V ?LMHEIGHT ?LMWIDTH) means that the
Vehicle
?V can transport
Object
s with a
height
less then or equal to ?LMHEIGHT and
width
less than or equal to ?LMWIDTH, provided that the
weight
of these
Object
s is less than or equal to
maximumPayloadCapacity
.")
MilitaryDevices.kif 113-117
(
domain
maximumPayloadHeightWidth
1
Vehicle
)
MilitaryDevices.kif 109-109
域
最大有效負載高度寬度
, 1 and
車輛
(
domain
maximumPayloadHeightWidth
2
LengthMeasure
)
MilitaryDevices.kif 110-110
域
最大有效負載高度寬度
, 2 and
LengthMeasure
(
domain
maximumPayloadHeightWidth
3
LengthMeasure
)
MilitaryDevices.kif 111-111
域
最大有效負載高度寬度
, 3 and
LengthMeasure
(
instance
maximumPayloadHeightWidth
TernaryPredicate
)
MilitaryDevices.kif 106-106
例
最大有效負載高度寬度
and
TernaryPredicate
(
instance
maximumPayloadHeightWidth
TotalValuedRelation
)
MilitaryDevices.kif 107-107
例
最大有效負載高度寬度
and
TotalValuedRelation
appearance as argument number 2
(
format
ChineseLanguage
maximumPayloadHeightWidth
"%1 %n{不是} 对于 %3 的 maximum 有效附载高度 %2 ")
domainEnglishFormat.kif 1651-1651
(
format
ChineseTraditionalLanguage
maximumPayloadHeightWidth
"%1 %n{不是} 對於 %3 的 maximum 有效附載高度 %2 ")
domainEnglishFormat.kif 1650-1650
(
format
EnglishLanguage
maximumPayloadHeightWidth
"%1 can%n{not} carry a payload measuring up to %2 high and %3 wide.")
MilitaryDevices.kif 2035-2035
(
format
EnglishLanguage
maximumPayloadHeightWidth
"%1 is %n{isn't} maximum payload height width %2 for %3")
domainEnglishFormat.kif 1649-1649
(
termFormat
ChineseLanguage
maximumPayloadHeightWidth
"最大有效负载高度宽度")
domainEnglishFormat.kif 36605-36605
(
termFormat
ChineseTraditionalLanguage
maximumPayloadHeightWidth
"最大有效負載高度寬度")
domainEnglishFormat.kif 36604-36604
(
termFormat
EnglishLanguage
maximumPayloadHeightWidth
"maximum payload height width")
domainEnglishFormat.kif 36603-36603
antecedent
(=>
(
and
(
maximumPayloadCapacity
?V
(
MeasureFn
?WEIGHT ?UNITWEIGHT))
(
maximumPayloadHeightWidth
?V
(
MeasureFn
?HEIGHT ?UNITHEIGHT)
(
MeasureFn
?WIDTH ?UNITWIDTH))
(
instance
?O
SelfConnectedObject
)
(
weight
?O
(
MeasureFn
?WEO ?WEOU))
(
width
?O
(
MeasureFn
?WO ?WOU))
(
height
?O
(
MeasureFn
?HO ?HOU))
(
equal
?WEOU ?UNITWEIGHT)
(
equal
?WOU ?UNITWIDTH)
(
equal
?HOU ?UNITHEIGHT)
(
lessThanOrEqualTo
?WEO ?WEIGHT)
(
lessThanOrEqualTo
?WO ?WIDTH)
(
lessThanOrEqualTo
?HO ?HEIGHT))
(
capability
(
KappaFn
?TRANSPORT
(
and
(
instance
?TRANSPORT
Transportation
)
(
patient
?TRANSPORT ?O)))
instrument
?V))
MilitaryDevices.kif 144-169
測量
RealNumber
and
UnitOfMeasure
是
車輛
的
maximum
有效附載容量
車輛
對於
測量
RealNumber
and
UnitOfMeasure
的
maximum
有效附載高度
測量
RealNumber
and
UnitOfMeasure
例
SelfConnectedObject
and
SelfConnectedObject
測量
RealNumber
and
RealNumber
U 是
SelfConnectedObject
的
weight
寬度
SelfConnectedObject
and
測量
RealNumber
and
RealNumber
U
高度
SelfConnectedObject
and
測量
RealNumber
and
RealNumber
U
等於
RealNumber
U and
UnitOfMeasure
等於
RealNumber
U and
UnitOfMeasure
等於
RealNumber
U and
UnitOfMeasure
小於或等於
RealNumber
and
RealNumber
小於或等於
RealNumber
and
RealNumber
小於或等於
RealNumber
and
RealNumber
能力
卡帕
SymbolicString
and
例
SymbolicString
and
Transportation
患者
SymbolicString
and
SelfConnectedObject
,
儀器
and
車輛
(=>
(
maximumPayloadHeightWidth
?V
(
MeasureFn
?HEIGHT ?UNITHEIGHT)
(
MeasureFn
?WIDTH ?UNITWIDTH))
(
not
(
exists
(?TP ?O ?WO ?WOU ?HO ?HOU)
(
and
(
instance
?TP
Transportation
)
(
instrument
?TP ?V)
(
patient
?TP ?O)
(
width
?O
(
MeasureFn
?WO ?WOU))
(
height
?O
(
MeasureFn
?HO ?HOU))
(
equal
?WOU ?UNITWIDTH)
(
equal
?HOU ?UNITHEIGHT)
(
greaterThan
?WO ?WIDTH)
(
greaterThan
?HO ?HEIGHT)))))
MilitaryDevices.kif 121-138
車輛
對於
測量
RealNumber
and
UnitOfMeasure
的
maximum
有效附載高度
測量
RealNumber
and
UnitOfMeasure
Process
SelfConnectedObject
,
RealNumber
,
RealNumber
U,
RealNumber
and
RealNumber
U
例
Process
and
Transportation
儀器
Process
and
車輛
患者
Process
and
SelfConnectedObject
寬度
SelfConnectedObject
and
測量
RealNumber
and
RealNumber
U
高度
SelfConnectedObject
and
測量
RealNumber
and
RealNumber
U
等於
RealNumber
U and
UnitOfMeasure
等於
RealNumber
U and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
比較多
RealNumber
and
RealNumber
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