Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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 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


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