| 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