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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - transitwayCapacityRate
transitwayCapacityRate

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


(documentation transitwayCapacityRate EnglishLanguage "(transitwayCapacityRate ?WAY ?TYPE ?RATE) means that the Transitway WAY can transit items of ?TYPE at the maximum FunctionQuantity ?RATE. For example, (transitwayCapacityRate SFBayBridgeWestbound Automobile 500).") Transportation.kif 3049-3053
(domain transitwayCapacityRate 1 Transitway) Transportation.kif 3045-3045 transitwayCapacityRate の数値 1 引数は Transitwayinstance では %n
(domain transitwayCapacityRate 3 FunctionQuantity) Transportation.kif 3047-3047 transitwayCapacityRate の数値 3 引数は 関数量instance では %n
(domainSubclass transitwayCapacityRate 2 SelfConnectedObject) Transportation.kif 3046-3046 transitwayCapacityRate の数値 2 引数は 自己接続オブジェクトsubclass では %n
(instance transitwayCapacityRate TernaryPredicate) Transportation.kif 3044-3044 transitwayCapacityRate3進述語instance では %n

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


(format ChineseLanguage transitwayCapacityRate "%1 %n 是 对于 %3 的 transitway 容量速率 %2 ") domainEnglishFormat.kif 2547-2547
(format ChineseTraditionalLanguage transitwayCapacityRate "%1 %n 是 對於 %3 的 transitway 容量速率 %2 ") domainEnglishFormat.kif 2546-2546
(format EnglishLanguage transitwayCapacityRate "%1 is %n transitway capacity rate %2 for %3") domainEnglishFormat.kif 2545-2545
(termFormat ChineseLanguage transitwayCapacityRate "过境通行能力") domainEnglishFormat.kif 58916-58916
(termFormat ChineseTraditionalLanguage transitwayCapacityRate "過境通行能力") domainEnglishFormat.kif 58915-58915
(termFormat EnglishLanguage transitwayCapacityRate "transitway capacity rate") domainEnglishFormat.kif 58914-58914


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