TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3027-3028
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3024-3024	船靠泊的 1 数量是船的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3023-3023	船靠泊是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3025-3025	船靠泊的所得值是船靠泊的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2263-2263
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2262-2262
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2261-2261
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52623-52623
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52622-52622
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52621-52621