diplomaticRepresentationType |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4526-4529 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4522-4522 | 外交代表类型 的 1 数量 是 施事体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4523-4523 | 外交代表类型 的 2 数量 是 地位 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4524-4524 | 外交代表类型 的 3 数量 是 施事体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4521-4521 | 外交代表类型 是 三元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 748-748 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 747-747 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 746-746 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19626-19626 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19625-19625 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19624-19624 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4535-4540 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4675-4680 | |
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 4687-4689 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4553-4555 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4535-4540 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4621-4629 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4644-4646 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4692-4694 | |
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 4573-4580 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4531-4533 |