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

Formal Language: 

KB Term:  Term intersection
English Word: 


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


    (instance ?AAV AAV)
    (personTransportCapability ?AAV 25))
MilitaryDevices.kif 1686-1688
    (instance ?CH46D CH46D)
        (personTransportCapability ?CH46D 25)
        (maximumPayloadCapacity ?CH46D
            (MeasureFn 3131 Kilogram))))
MilitaryDevices.kif 1882-1887
    (instance ?CH53E CH53E)
        (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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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