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 Le nombre 1 argument de personTransportCapability est une instance de PassengerVehicle
(domain personTransportCapability 2 PositiveInteger) MilitaryDevices.kif 72-72 Le nombre 2 argument de personTransportCapability est une instance de nombre entier positif
(instance personTransportCapability BinaryPredicate) MilitaryDevices.kif 68-68 personTransportCapability est une instance de pr�dicat binaire
(instance personTransportCapability TotalValuedRelation) MilitaryDevices.kif 69-69 personTransportCapability est une instance de relation total

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 45342-45342
(termFormat ChineseTraditionalLanguage personTransportCapability "人員運輸能力") domainEnglishFormat.kif 45341-45341
(termFormat EnglishLanguage personTransportCapability "person transport capability") domainEnglishFormat.kif 45340-45340


    (instance ?AAV AAV)
    (personTransportCapability ?AAV 25))
MilitaryDevices.kif 1686-1688
    (instance ?CH46D CH46D)
        (personTransportCapability ?CH46D 25)
        (maximumPayloadCapacity ?CH46D
            (MeasureFn 3131.0 Kilogram))))
MilitaryDevices.kif 1882-1887
    (instance ?CH53E CH53E)
        (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