| 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 3056-3060 | |
| (domain transitwayCapacityRate 1 Transitway) | Transportation.kif 3052-3052 | The number 1 argument of transitway capacity rate is an instance of transitway |
| (domain transitwayCapacityRate 3 FunctionQuantity) | Transportation.kif 3054-3054 | The number 3 argument of transitway capacity rate is an instance of function quantity |
| (domainSubclass transitwayCapacityRate 2 SelfConnectedObject) | Transportation.kif 3053-3053 | The number 2 argument of transitway capacity rate is a subclass of self connected object |
| (instance transitwayCapacityRate TernaryPredicate) | Transportation.kif 3051-3051 | transitway capacity rate is an instance of ternary predicate |
| 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 58883-58883 | |
| (termFormat ChineseTraditionalLanguage transitwayCapacityRate "過境通行能力") | domainEnglishFormat.kif 58882-58882 | |
| (termFormat EnglishLanguage transitwayCapacityRate "transitway capacity rate") | domainEnglishFormat.kif 58881-58881 |
|
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