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 4396-4398 | |
(subclass ForeignServicePosition Position) | Government.kif 4394-4394 | ForeignServicePosition è una sottoclasse di Posizione |
appearance as argument number 2 |
antecedent |
(=> (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent)) |
Government.kif 4408-4410 |
|
consequent |
(=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2)))) |
Government.kif 4557-4563 | |
(=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1)))) |
Government.kif 4565-4571 |