TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20558-20559
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20556-20556	workLocation 的 1 数量是机构的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20557-20557	workLocation 的 2 数量是固定人工制品的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20555-20555	workLocation 是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20560-20560
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65974-65974

antecedent

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

Mid-level-ontology.kif 20562-20570

consequent

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

Mid-level-ontology.kif 20579-20586