TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6684-6689
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6681-6681	容量的 1 数量是自身连接物体的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6682-6682	容量的 2 数量是恒量的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6680-6680	容量是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6683-6683	容量和人的能力是内部相关

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 352-352
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 351-351
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 350-350
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13044-13044
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13043-13043
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13042-13042

antecedent

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

Cars.kif 1314-1348

consequent

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

Mid-level-ontology.kif 6691-6695