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 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4457-4457 | 域 外交代表擔任職務, 2 and Human |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4458-4458 | 域 外交代表擔任職務, 3 and Position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4459-4459 | 域 外交代表擔任職務, 4 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4455-4455 | 例 外交代表擔任職務 and QuaternaryPredicate |
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 | 子關係 外交使團團長 and 外交代表擔任職務 |
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 |