|
|
  DiplomaticAgent
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4402-4406 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8452-8452 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4400-4400 | DiplomaticAgent est une instance de ForeignServicePosition |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4413-4413 | Ambassador est un sous-attribut de DiplomaticAgent |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4433-4433 | ChargeDAffaires est un sous-attribut de DiplomaticAgent |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4427-4427 | Consul est un sous-attribut de DiplomaticAgent |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4420-4420 | ConsulGeneral est un sous-attribut de DiplomaticAgent |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19602-19602 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19601-19601 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19600-19600 |
| antecedent |
|
|
| 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 4621-4629 |
|
| 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 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4408-4410 |
|
|
|
|
