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	The number 1 argument of transitway capacity count is an instance of transitway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3037-3037	The number 3 argument of transitway capacity count is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3036-3036	The number 2 argument of transitway capacity count is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3034-3034	transitway capacity count is an instance of ternary predicate

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