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 1959-1959
(format ChineseTraditionalLanguage personTransportCapability "%2 %n 是 %1 的 person 運載容量") domainEnglishFormat.kif 1958-1958
(format EnglishLanguage personTransportCapability "%2 is %n a person transport capability of %1") domainEnglishFormat.kif 1957-1957
(termFormat ChineseLanguage personTransportCapability "人员运输能力") domainEnglishFormat.kif 45344-45344
(termFormat ChineseTraditionalLanguage personTransportCapability "人員運輸能力") domainEnglishFormat.kif 45343-45343
(termFormat EnglishLanguage personTransportCapability "person transport capability") domainEnglishFormat.kif 45342-45342


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 3.0 is open source software produced by Articulate Software and its partners