TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 448-451
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6717-6717
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7389-7389
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7390-7390
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7391-7391
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7392-7392
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7393-7393
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7394-7394
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7396-7396
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7397-7397
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7398-7398
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7400-7400
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 447-447	例窄規 and 軌距

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39747-39747
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39746-39746
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39745-39745

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Transportation.kif 391-391

antecedent

No TPTP formula. May not be expressible in strict first order.

Transportation.kif 453-458

consequent

No TPTP formula. May not be expressible in strict first order.

Transportation.kif 460-462