TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31128-31130
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31132-31132	circumfrence 的 1 数量是圈的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31134-31134	circumfrence 的 2 数量是长度测量的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31126-31126	circumfrence 是二元谓语的 instance

appearance as argument number 2

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

Mid-level-ontology.kif 31136-31136

antecedent

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

Mid-level-ontology.kif 31138-31146

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31112-31117	如果 memberMeasure 集合, MeasurementAttribute and 长度测量和那个集合是集合的 instance 和圈是那个集合的 element，然后 circumfrence 那个圈 and 那个长度测量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31119-31124	如果 memberMeasure 类, Circumfrence and 长度测量和那个类是类的 instance 和圈是那个类的 instance，然后 circumfrence 那个圈 and 那个长度测量