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 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
(=>
    (instance ?CH46D CH46D)
    (and
        (personTransportCapability ?CH46D 25)
        (maximumPayloadCapacity ?CH46D
            (MeasureFn 3131 Kilogram))))
MilitaryDevices.kif 1882-1887
(=>
    (instance ?CH53E CH53E)
    (and
        (personTransportCapability ?CH53E 55)
        (maximumPayloadCapacity ?CH53E
            (MeasureFn 14515 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners