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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 2956-2959
(domain transitwayCapacityCount 1 Transitway) Transportation.kif 2952-2952
(domain transitwayCapacityCount 3 NonnegativeInteger) Transportation.kif 2954-2954
(domainSubclass transitwayCapacityCount 2 SelfConnectedObject) Transportation.kif 2953-2953
(instance transitwayCapacityCount TernaryPredicate) Transportation.kif 2951-2951

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


(format EnglishLanguage transitwayCapacityCount "%1 %n{doesn't} transitway capacity count %2 for %3") domainEnglishFormat.kif 643-643
(termFormat EnglishLanguage transitwayCapacityCount "transitway capacity count") domainEnglishFormat.kif 10243-10243


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners