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

Formal Language: 



KB Term:  Term intersection
English Word: 

  transitwayCapacityCount

Sigma KEE - transitwayCapacityCount
transitwayCapacityCount

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


(documentation transitwayCapacityCount EnglishLanguage "(transitwayCapacityCount ?WAY ?TYPE ?NUMBER) means that the Transitway ?WAY can accommodate a maximum of ?NUMBER items of ?TYPE at any one time.") Transportation.kif 3039-3042
(domain transitwayCapacityCount 1 Transitway) Transportation.kif 3035-3035 Le nombre 1 argument de transitwayCapacityCount est une instance de Transitway
(domain transitwayCapacityCount 3 NonnegativeInteger) Transportation.kif 3037-3037 Le nombre 3 argument de transitwayCapacityCount est une instance de nombre entier non n�gatif
(domainSubclass transitwayCapacityCount 2 SelfConnectedObject) Transportation.kif 3036-3036 Le nombre 2 argument de transitwayCapacityCount est une sous-classe de objet en une partie
(instance transitwayCapacityCount TernaryPredicate) Transportation.kif 3034-3034 transitwayCapacityCount est une instance de pr�dicat ternaire

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


(format ChineseLanguage transitwayCapacityCount "%1 %n 是 对于 %3 的 transitway 容量计数 %2 ") domainEnglishFormat.kif 2543-2543
(format ChineseTraditionalLanguage transitwayCapacityCount "%1 %n 是 對於 %3 的 transitway 容量計數 %2 ") domainEnglishFormat.kif 2542-2542
(format EnglishLanguage transitwayCapacityCount "%1 is %n transitway capacity count %2 for %3") domainEnglishFormat.kif 2541-2541
(termFormat ChineseLanguage transitwayCapacityCount "过境通行能力计数") domainEnglishFormat.kif 58910-58910
(termFormat ChineseTraditionalLanguage transitwayCapacityCount "過境通行能力計數") domainEnglishFormat.kif 58909-58909
(termFormat EnglishLanguage transitwayCapacityCount "transitway capacity count") domainEnglishFormat.kif 58908-58908


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