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



KB Term:  Term intersection
English Word: 

  passengerCapacityMaxNumber

Sigma KEE - passengerCapacityMaxNumber
passengerCapacityMaxNumber

appearance as argument number 1
-------------------------


(instance passengerCapacityMaxNumber BinaryPredicate) Transportation.kif 4939-4939 passenger capacity max number is an instance of binary predicate
(domain passengerCapacityMaxNumber 1 TransportationDevice) Transportation.kif 4940-4940 The number 1 argument of passenger capacity max number is an instance of transportation device
(domain passengerCapacityMaxNumber 2 Number) Transportation.kif 4941-4941 The number 2 argument of passenger capacity max number is an instance of number
(documentation passengerCapacityMaxNumber EnglishLanguage "(passengerCapacityMaxNumber ?TRANSPORT ?NUMBER) means that the TransportationDevice ?TRANSPORT has a safe carrying capacity for ?NUMBER of passengers.") Transportation.kif 4943-4946 The number 2 argument of passenger capacity max number is an instance of number

appearance as argument number 2
-------------------------


(format EnglishLanguage passengerCapacityMaxNumber "%2 is %n a passenger capacity max number of %1") domainEnglishFormat.kif 1913-1913
(format ChineseTraditionalLanguage passengerCapacityMaxNumber "%2 %n 是 %1 的 passenger 最高容量") domainEnglishFormat.kif 1914-1914
(format ChineseLanguage passengerCapacityMaxNumber "%2 %n 是 %1 的 passenger 最高容量") domainEnglishFormat.kif 1915-1915
(termFormat EnglishLanguage passengerCapacityMaxNumber "passenger capacity max number") domainEnglishFormat.kif 44663-44663
(termFormat ChineseTraditionalLanguage passengerCapacityMaxNumber "客運量最大數量") domainEnglishFormat.kif 44664-44664
(termFormat ChineseLanguage passengerCapacityMaxNumber "客运量最大数量") domainEnglishFormat.kif 44665-44665


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners