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 | Le nombre 1 argument de diplomaticRepresentativeInRole est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4457-4457 | Le nombre 2 argument de diplomaticRepresentativeInRole est une instance de humain |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4458-4458 | Le nombre 3 argument de diplomaticRepresentativeInRole est une instance de position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4459-4459 | Le nombre 4 argument de diplomaticRepresentativeInRole est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4455-4455 | diplomaticRepresentativeInRole est une instance de pr�dicat quaternaire |
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 | chiefOfDiplomaticMission est une sous-relation de diplomaticRepresentativeInRole |
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 |
|