TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3984-3985
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17844-17845
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17842-17842	几何部分的 1 数量是几何图的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17843-17843	几何部分的 2 数量是几何图的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17840-17840	几何部分是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17841-17841	几何部分是偏序关系的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1105-1105
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1104-1104
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1103-1103
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17854-17854	图的角度是几何部分的 subrelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17847-17847	图形的顶点是几何部分的 subrelation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4977-4977	图形的边是几何部分的 subrelation
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25824-25824
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25823-25823
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25822-25822

antecedent

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

Mid-level-ontology.kif 4877-4881

consequent

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

Mid-level-ontology.kif 4883-4888