ForeignServicePosition
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4396-4398 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4394-4394 | 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 4412-4412 | Ambassador est une instance de ForeignServicePosition |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4432-4432 | ChargeDAffaires est une instance de ForeignServicePosition |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4426-4426 | Consul est une instance de ForeignServicePosition |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4419-4419 | ConsulGeneral est une instance de ForeignServicePosition |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4400-4400 | DiplomaticAgent est une instance de ForeignServicePosition |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4441-4441 | 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 4408-4410 |
|
consequent |
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 |
|