|
|
   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 |
|
|
|
|