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 | 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 1959-1959 | |
(format ChineseTraditionalLanguage personTransportCapability "%2 %n 是 %1 的 person 運載容量") | domainEnglishFormat.kif 1958-1958 | |
(format EnglishLanguage personTransportCapability "%2 is %n a person transport capability of %1") | domainEnglishFormat.kif 1957-1957 | |
(termFormat ChineseLanguage personTransportCapability "人员运输能力") | domainEnglishFormat.kif 45344-45344 | |
(termFormat ChineseTraditionalLanguage personTransportCapability "人員運輸能力") | domainEnglishFormat.kif 45343-45343 | |
(termFormat EnglishLanguage personTransportCapability "person transport capability") | domainEnglishFormat.kif 45342-45342 |
![]() |
![]() |