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 | Le nombre 1 argument de diplomaticRepresentationType est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4523-4523 | Le nombre 2 argument de diplomaticRepresentationType est une instance de position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4524-4524 | Le nombre 3 argument de diplomaticRepresentationType est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4521-4521 | diplomaticRepresentationType est une instance de pr�dicat ternaire |
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 |