Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
personTransportCapability
Sigma KEE - personTransportCapability
personTransportCapability
appearance as argument number 1
(
documentation
personTransportCapability
EnglishLanguage
"(
personTransportCapability
?PV ?I) means that the
PassengerVehicle
?PV is able to carry ?I
Human
s.")
MilitaryDevices.kif 74-76
(
domain
personTransportCapability
1
PassengerVehicle
)
MilitaryDevices.kif 71-71
The number 1 argument of
person transport capability
is an
instance
of
passenger vehicle
(
domain
personTransportCapability
2
PositiveInteger
)
MilitaryDevices.kif 72-72
The number 2 argument of
person transport capability
is an
instance
of
positive integer
(
instance
personTransportCapability
BinaryPredicate
)
MilitaryDevices.kif 68-68
person transport capability
is an
instance
of
binary predicate
(
instance
personTransportCapability
TotalValuedRelation
)
MilitaryDevices.kif 69-69
person transport capability
is an
instance
of
total valued relation
appearance as argument number 2
(
format
ChineseLanguage
personTransportCapability
"%2 %n 是 %1 的 person 运载容量")
domainEnglishFormat.kif 1955-1955
(
format
ChineseTraditionalLanguage
personTransportCapability
"%2 %n 是 %1 的 person 運載容量")
domainEnglishFormat.kif 1954-1954
(
format
EnglishLanguage
personTransportCapability
"%1 can%n{not} carry %2 passengers.")
MilitaryDevices.kif 2033-2033
(
format
EnglishLanguage
personTransportCapability
"%2 is %n a person transport capability of %1")
domainEnglishFormat.kif 1953-1953
(
termFormat
ChineseLanguage
personTransportCapability
"人员运输能力")
domainEnglishFormat.kif 45241-45241
(
termFormat
ChineseTraditionalLanguage
personTransportCapability
"人員運輸能力")
domainEnglishFormat.kif 45240-45240
(
termFormat
EnglishLanguage
personTransportCapability
"person transport capability")
domainEnglishFormat.kif 45239-45239
consequent
(=>
(
instance
?AAV
AAV
)
(
personTransportCapability
?AAV 25))
MilitaryDevices.kif 1686-1688
If
a passenger vehicle
is an
instance
of
Amphibious Assault Vehicle
,
then 25 is a
person
transport capability of
the passenger vehicle
(=>
(
instance
?CH46D
CH46D
)
(
and
(
personTransportCapability
?CH46D 25)
(
maximumPayloadCapacity
?CH46D
(
MeasureFn
3131
Kilogram
))))
MilitaryDevices.kif 1882-1887
If
a passenger vehicle
is an
instance
of
C h46 d
,
then 25 is a
person
transport capability of
the passenger vehicle
and 3131
kilogram
(s) is a
maximum
payload capacity of
the passenger vehicle
(=>
(
instance
?CH53E
CH53E
)
(
and
(
personTransportCapability
?CH53E 55)
(
maximumPayloadCapacity
?CH53E
(
MeasureFn
14515
Kilogram
))))
MilitaryDevices.kif 1812-1817
If
a passenger vehicle
is an
instance
of
C h53 e
,
then 55 is a
person
transport capability of
the passenger vehicle
and 14515
kilogram
(s) is a
maximum
payload capacity of
the passenger vehicle
(=>
(
instance
?LAV
LAV25
)
(
personTransportCapability
?LAV 4))
MilitaryDevices.kif 1566-1568
If
a passenger vehicle
is an
instance
of
LAV25
,
then 4 is a
person
transport capability of
the passenger vehicle
(=>
(
instance
?LCAC
LCAC
)
(
personTransportCapability
?LCAC 24))
MilitaryDevices.kif 1986-1988
If
a passenger vehicle
is an
instance
of
LCAC
,
then 24 is a
person
transport capability of
the passenger vehicle
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 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners
