| 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 | personTransportCapability の数値 1 引数は PassengerVehicle の instance では %n |
| (domain personTransportCapability 2 PositiveInteger) | MilitaryDevices.kif 72-72 | personTransportCapability の数値 2 引数は 正の整数 の instance では %n |
| (instance personTransportCapability BinaryPredicate) | MilitaryDevices.kif 68-68 | personTransportCapability は 2進述語 の instance では %n |
| (instance personTransportCapability TotalValuedRelation) | MilitaryDevices.kif 69-69 | personTransportCapability は 合計値関係 の instance では %n |
| 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 45363-45363 | |
| (termFormat ChineseTraditionalLanguage personTransportCapability "人員運輸能力") | domainEnglishFormat.kif 45362-45362 | |
| (termFormat EnglishLanguage personTransportCapability "person transport capability") | domainEnglishFormat.kif 45361-45361 |
| consequent |
|
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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