| 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 3101-3105 | |
| (domain transitwayCapacityRate 1 Transitway) | Transportation.kif 3097-3097 | Il numero 1 argomenti di transitwayCapacityRate è un istanza di Transitway |
| (domain transitwayCapacityRate 3 FunctionQuantity) | Transportation.kif 3099-3099 | Il numero 3 argomenti di transitwayCapacityRate è un istanza di FunzioneDiQuantit� |
| (domainSubclass transitwayCapacityRate 2 SelfConnectedObject) | Transportation.kif 3098-3098 | Il numero 2 argomento transitwayCapacityRate è una sottoclasse diOggettoIntegro |
| (instance transitwayCapacityRate TernaryPredicate) | Transportation.kif 3096-3096 | transitwayCapacityRate è un' istanza di PredicatoTernario |
| 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 58918-58918 | |
| (termFormat ChineseTraditionalLanguage transitwayCapacityRate "過境通行能力") | domainEnglishFormat.kif 58917-58917 | |
| (termFormat EnglishLanguage transitwayCapacityRate "transitway capacity rate") | domainEnglishFormat.kif 58916-58916 |
|
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