ForeignServicePosition(foreign service position) |
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 | Foreign service position is a subclass of position |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4412-4412 | Ambassador is an instance of foreign service position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4432-4432 | ChargeD affaires is an instance of foreign service position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4426-4426 | Consul is an instance of foreign service position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4419-4419 | Consul general is an instance of foreign service position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4400-4400 | Diplomatic agent is an instance of foreign service position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4441-4441 | Principal officer is an instance of foreign service position |
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 |
|