ForeignServicePosition |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4360-4362 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4358-4358 | ForeignServicePosition est une sous-classe de position |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4376-4376 | Ambassador est une instance de ForeignServicePosition |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4396-4396 | ChargeDAffaires est une instance de ForeignServicePosition |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4390-4390 | Consul est une instance de ForeignServicePosition |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4383-4383 | ConsulGeneral est une instance de ForeignServicePosition |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4364-4364 | DiplomaticAgent est une instance de ForeignServicePosition |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4405-4405 | PrincipalOfficer est une instance de ForeignServicePosition |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24662-24662 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24661-24661 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24660-24660 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4372-4374 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4521-4527 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4529-4535 |
|