| appearance as argument number 1 |
|
| (subclass ForeignServicePosition Position) | Government.kif 4375-4375 | Foreign service position is a subclass of position |
| (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 4377-4379 | Foreign service position is a subclass of position |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent)) |
Government.kif 4389-4391 | If X is an instance of foreign service position, then X is a subattribute of diplomatic agent |
| consequent |
|
|
| (=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2)))) |
Government.kif 4538-4544 | If X is a diplomatic relations of Y, then there exists Z such that Z is an instance of foreign service position, Z is a subattribute of diplomatic agent, and Y diplomatic representation type Z for X |
| (=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1)))) |
Government.kif 4546-4552 | If X is a diplomatic relations of Y, then there exists Z such that Z is an instance of foreign service position, Z is a subattribute of diplomatic agent, and X diplomatic representation type Z for Y |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners