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

Formal Language: 



KB Term:  Term intersection
English Word: 

  personTransportCapability

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