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

Formal Language: 



KB Term:  Term intersection
English Word: 

  transitwayCapacityRate

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 3101-3105
(domain transitwayCapacityRate 1 Transitway) Transportation.kif 3097-3097 The number 1 argument of transitway capacity rate is an instance of transitway
(domain transitwayCapacityRate 3 FunctionQuantity) Transportation.kif 3099-3099 The number 3 argument of transitway capacity rate is an instance of function quantity
(domainSubclass transitwayCapacityRate 2 SelfConnectedObject) Transportation.kif 3098-3098 The number 2 argument of transitway capacity rate is a subclass of self connected object
(instance transitwayCapacityRate TernaryPredicate) Transportation.kif 3096-3096 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 58918-58918
(termFormat ChineseTraditionalLanguage transitwayCapacityRate "過境通行能力") domainEnglishFormat.kif 58917-58917
(termFormat EnglishLanguage transitwayCapacityRate "transitway capacity rate") domainEnglishFormat.kif 58916-58916


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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