TreeView Knowledge Base Browser - DiplomaticOrganization

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4698-4700
No TPTP formula. May not be expressible in strict first order.	Government.kif 4696-4696	外交组织是政府组织的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4726-4726	台湾美国研究所和外交组织是内部相关
No TPTP formula. May not be expressible in strict first order.	Government.kif 4716-4716	领事馆是外交组织的 subclass
No TPTP formula. May not be expressible in strict first order.	Government.kif 4709-4709	总领事馆是外交组织的 subclass
No TPTP formula. May not be expressible in strict first order.	Government.kif 4702-4702	大使馆是外交组织的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19608-19608
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19607-19607
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19606-19606

antecedent

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

Government.kif 4511-4519

consequent

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

Government.kif 4470-4478