|
|
   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 e' uma sub-classe de Posicao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4412-4412 | Ambassador e' uma instancia de ForeignServicePosition |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4432-4432 | ChargeDAffaires e' uma instancia de ForeignServicePosition |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4426-4426 | Consul e' uma instancia de ForeignServicePosition |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4419-4419 | ConsulGeneral e' uma instancia de ForeignServicePosition |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4400-4400 | DiplomaticAgent e' uma instancia de ForeignServicePosition |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4441-4441 | PrincipalOfficer e' uma instancia 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 |
|
|
|
|