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	DiplomaticOrganization e' uma sub-classe de GovernmentOrganization

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4726-4726	AmericanInstituteInTaiwan e' relacionado internamente por SUMO a DiplomaticOrganization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4716-4716	Consulate e' uma sub-classe de DiplomaticOrganization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4709-4709	ConsulateGeneral e' uma sub-classe de DiplomaticOrganization
No TPTP formula. May not be expressible in strict first order.	Government.kif 4702-4702	Embassy e' uma sub-classe de DiplomaticOrganization
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