| 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 3220-3223 | |
| (domain transitwayCapacityCount 1 Transitway) | Transportation.kif 3216-3216 | Il numero 1 argomenti di transitwayCapacityCount è un istanza di Transitway |
| (domain transitwayCapacityCount 3 NonnegativeInteger) | Transportation.kif 3218-3218 | Il numero 3 argomenti di transitwayCapacityCount è un istanza di NumeroInteroNonNegativo |
| (domainSubclass transitwayCapacityCount 2 SelfConnectedObject) | Transportation.kif 3217-3217 | Il numero 2 argomento transitwayCapacityCount è una sottoclasse diOggettoIntegro |
| (instance transitwayCapacityCount TernaryPredicate) | Transportation.kif 3215-3215 | transitwayCapacityCount è un' istanza di PredicatoTernario |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage transitwayCapacityCount "%1 %n 是 对于 %3 的 transitway 容量计数 %2 ") | domainEnglishFormat.kif 2543-2543 | |
| (format ChineseTraditionalLanguage transitwayCapacityCount "%1 %n 是 對於 %3 的 transitway 容量計數 %2 ") | domainEnglishFormat.kif 2542-2542 | |
| (format EnglishLanguage transitwayCapacityCount "%1 is %n transitway capacity count %2 for %3") | domainEnglishFormat.kif 2541-2541 | |
| (termFormat ChineseLanguage transitwayCapacityCount "过境通行能力计数") | domainEnglishFormat.kif 58912-58912 | |
| (termFormat ChineseTraditionalLanguage transitwayCapacityCount "過境通行能力計數") | domainEnglishFormat.kif 58911-58911 | |
| (termFormat EnglishLanguage transitwayCapacityCount "transitway capacity count") | domainEnglishFormat.kif 58910-58910 |
|
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