![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| GovernmentPosition(government position) | cabinet_minister, commissioner, minister, politics, public_service |
| appearance as argument number 1 |
|
|
| (subclass GovernmentPosition Profession) | Mid-level-ontology.kif 20876-20876 | Government position is a subclass of profession |
| (documentation GovernmentPosition EnglishLanguage "Any Profession where the position occupied is within a GovernmentOrganization.") | Mid-level-ontology.kif 20877-20879 | Government position is a subclass of profession |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?O GovernmentPosition) (occupiesPosition ?P ?O ?ORG)) (instance ?ORG GovernmentOrganization)) |
Mid-level-ontology.kif 20881-20885 | If X is an instance of government position and Y holds the position of X in Z, then Z is an instance of government organization |