DiplomaticAgent
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4402-4406 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8452-8452 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4400-4400 | 例 外交代表 and 外國服務職位 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4413-4413 | 子屬性 大使 and 外交代表 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4433-4433 | 子屬性 chargeD 業務 and 外交代表 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4427-4427 | 子屬性 領事 and 外交代表 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4420-4420 | 子屬性 總領事 and 外交代表 |
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 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4582-4590 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4621-4629 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4557-4563 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4565-4571 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4408-4410 |