TreeView Knowledge Base Browser - ancestorOrganization

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24170-24170	祖先组织和子机构是 disjoint 关系
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24162-24163
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24168-24168	祖先组织的 1 数量是机构的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24169-24169	祖先组织的 2 数量是机构的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24164-24164	祖先组织是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24166-24166	祖先组织是非自反关系的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24167-24167	祖先组织是部分值关系的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24165-24165	祖先组织是传递关系的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 140-140
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 139-139
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 138-138
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7386-7386
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7385-7385
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7384-7384