ForeignServicePosition |
appearance as argument number 1 |
(documentation ForeignServicePosition EnglishLanguage "ForeignServicePosition is the subclass of Positions that belong to foreign service personnel working for a national government or international organization.") | Government.kif 4360-4362 | |
(subclass ForeignServicePosition Position) | Government.kif 4358-4358 | ForeignServicePosition ist eine teilkategorie von Position |
appearance as argument number 2 |
antecedent |
(=> (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent)) |
Government.kif 4372-4374 |
|
consequent |