TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3271-3273
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3275-3275	域船員, 1 and 水車
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3270-3270	例船員 and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3276-3276	範圍船員 and Group

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2267-2267
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2266-2266
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2265-2265
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52665-52665
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52664-52664
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52663-52663