diplomaticRepresentativeInRole |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4461-4468 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4456-4456 | 外交代表担任职务 的 1 数量 是 施事体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4457-4457 | 外交代表担任职务 的 2 数量 是 人类 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4458-4458 | 外交代表担任职务 的 3 数量 是 地位 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4459-4459 | 外交代表担任职务 的 4 数量 是 施事体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4455-4455 | 外交代表担任职务 是 四元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 752-752 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 751-751 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 750-750 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4448-4448 | 外交使团团长 是 外交代表担任职务 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19632-19632 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19631-19631 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19630-19630 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4486-4490 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4511-4519 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4470-4478 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4504-4509 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4492-4496 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4480-4484 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4498-4502 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4531-4533 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4683-4685 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4603-4605 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4582-4590 |