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 e' uma instancia de ForeignServicePosition |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4413-4413 | Ambassador e' um sub-atributo de DiplomaticAgent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4433-4433 | ChargeDAffaires e' um sub-atributo de DiplomaticAgent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4427-4427 | Consul e' um sub-atributo de DiplomaticAgent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4420-4420 | ConsulGeneral e' um sub-atributo 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 |
|