No TPTP formula. May not be expressible in strict first order. |
Government.kif 4413-4413 |
Ambassador is a subattribute of diplomatic agent |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4433-4433 |
ChargeD affaires is a subattribute of diplomatic agent |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4427-4427 |
Consul is a subattribute of diplomatic agent |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4420-4420 |
Consul general is a subattribute of diplomatic agent |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19602-19602 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19601-19601 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19600-19600 |
|