TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8040-8042
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8038-8038	公民的 1 数量是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8037-8037	公民是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8039-8039	公民的 range 是一群人的实例
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8036-8036	公民是居民的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 452-452
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 451-451
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 450-450
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14892-14892
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14891-14891
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14890-14890

antecedent

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

Mid-level-ontology.kif 8044-8051

consequent

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

Mid-level-ontology.kif 17351-17367