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 | 外交代表 是 外国服务职位 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4413-4413 | 大使 是 外交代表 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4433-4433 | ChargeD 业务 是 外交代表 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4427-4427 | 领事 是 外交代表 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4420-4420 | 总领事 是 外交代表 的 subAttribute |
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 |