TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4806-4809
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4810-4810	一块图的 1 数量是二维物体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4811-4811	一块图的 2 数量是躯体性物体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4805-4805	一块图是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2307-2307
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2306-2306
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2305-2305
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53390-53390
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53389-53389
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53388-53388