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 3008-3011
(domain transitwayCapacityCount 1 Transitway) Transportation.kif 3004-3004 The number 1 argument of transitway capacity count is an instance of transitway
(domain transitwayCapacityCount 3 NonnegativeInteger) Transportation.kif 3006-3006 The number 3 argument of transitway capacity count is an instance of nonnegative integer
(domainSubclass transitwayCapacityCount 2 SelfConnectedObject) Transportation.kif 3005-3005 The number 2 argument of transitway capacity count is a subclass of self connected object
(instance transitwayCapacityCount TernaryPredicate) Transportation.kif 3003-3003 transitway capacity count is an instance of ternary predicate

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


(format ChineseLanguage transitwayCapacityCount "%1 %n 是 对于 %3 的 transitway 容量计数 %2 ") domainEnglishFormat.kif 2539-2539
(format ChineseTraditionalLanguage transitwayCapacityCount "%1 %n 是 對於 %3 的 transitway 容量計數 %2 ") domainEnglishFormat.kif 2538-2538
(format EnglishLanguage transitwayCapacityCount "%1 is %n transitway capacity count %2 for %3") domainEnglishFormat.kif 2537-2537
(termFormat ChineseLanguage transitwayCapacityCount "过境通行能力计数") domainEnglishFormat.kif 58855-58855 "过境通行能力计数" is the printable form of transitway capacity count in ChineseLanguage
(termFormat ChineseTraditionalLanguage transitwayCapacityCount "過境通行能力計數") domainEnglishFormat.kif 58854-58854 "過境通行能力計數" is the printable form of transitway capacity count in ChineseTraditionalLanguage
(termFormat EnglishLanguage transitwayCapacityCount "transitway capacity count") domainEnglishFormat.kif 58853-58853 "transitway capacity count" is the printable form of transitway capacity count in english language


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