personTransportCapability |
appearance as argument number 1 |
(documentation personTransportCapability EnglishLanguage "(personTransportCapability ?PV ?I) means that the PassengerVehicle ?PV is able to carry ?I Humans.") | MilitaryDevices.kif 74-76 | |
(domain personTransportCapability 1 PassengerVehicle) | MilitaryDevices.kif 71-71 | 人员运输能力 的 1 数量 是 乘用车 的 instance |
(domain personTransportCapability 2 PositiveInteger) | MilitaryDevices.kif 72-72 | 人员运输能力 的 2 数量 是 正整数 的 instance |
(instance personTransportCapability BinaryPredicate) | MilitaryDevices.kif 68-68 | 人员运输能力 是 二元谓语 的 instance |
(instance personTransportCapability TotalValuedRelation) | MilitaryDevices.kif 69-69 | 人员运输能力 是 总值关系 的 instance |
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 45344-45344 | |
(termFormat ChineseTraditionalLanguage personTransportCapability "人員運輸能力") | domainEnglishFormat.kif 45343-45343 | |
(termFormat EnglishLanguage personTransportCapability "person transport capability") | domainEnglishFormat.kif 45342-45342 |
consequent |
(=> (instance ?AAV AAV) (personTransportCapability ?AAV 25)) |
MilitaryDevices.kif 1686-1688 | |
(=> (instance ?CH46D CH46D) (and (personTransportCapability ?CH46D 25) (maximumPayloadCapacity ?CH46D (MeasureFn 3131.0 Kilogram)))) |
MilitaryDevices.kif 1882-1887 | |
(=> (instance ?CH53E CH53E) (and (personTransportCapability ?CH53E 55) (maximumPayloadCapacity ?CH53E (MeasureFn 14515.0 Kilogram)))) |
MilitaryDevices.kif 1812-1817 | |
(=> (instance ?LAV LAV25) (personTransportCapability ?LAV 4)) |
MilitaryDevices.kif 1566-1568 | |
(=> (instance ?LCAC LCAC) (personTransportCapability ?LCAC 24)) |
MilitaryDevices.kif 1986-1988 |