TreeView Knowledge Base Browser - transitwayCapacityCount

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3039-3042
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3035-3035	域過境通行能力計數, 1 and 公交專用道
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3037-3037	域過境通行能力計數, 3 and NonnegativeInteger
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3036-3036	域子類過境通行能力計數, 2 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3034-3034	例過境通行能力計數 and TernaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2543-2543
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2542-2542
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2541-2541
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58910-58910
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58909-58909
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58908-58908