Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Leader(leader) |  | Diocletian, Flavius_Claudius_Julianus, Gaius_Aurelius_Valerius_Diocletian, Herculius, Julian, Julian_the_Apostate, Khedive, Marcus_Aurelius_Valerius_Maximianus, Maximian, khan |
| appearance as argument number 1 |
|
|
| (instance Leader Position) | Government.kif 2226-2226 | Leader is an instance of position |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (occupiesPosition ?PERSON Leader ?ORGANIZATION) (leader ?ORGANIZATION ?PERSON)) |
Government.kif 1313-1315 | If X holds the position of leader in Y, then X is a leader of Y |
| (=> (and (instance ?AREA GeopoliticalArea) (occupiesPosition ?PERSON Leader ?AREA)) (leader (GovernmentFn ?AREA) ?PERSON)) |
Government.kif 1317-1321 | If X is an instance of geopolitical area and Y holds the position of leader in X, then Y is a leader of the government of X |
| (=> (occupiesPosition ?PERSON Leader ?ORG) (exists (?LEADING) (and (instance ?LEADING Guiding) (patient ?LEADING ?ORG) (agent ?LEADING ?PERSON)))) |
Government.kif 2271-2277 | If X holds the position of leader in Y, then there exists Z such that Z is an instance of guiding, Y is a patient of Z, and X is an agent of Z |
| (=> (and (instance ?AREA GeopoliticalArea) (occupiesPosition ?PERSON Leader (GovernmentFn ?AREA))) (exists (?LEADING) (and (instance ?LEADING Guiding) (patient ?LEADING ?AREA) (agent ?LEADING ?PERSON)))) |
Government.kif 2279-2287 | If X is an instance of geopolitical area and Y holds the position of leader in the government of X, then there exists Z such that Z is an instance of guiding, X is a patient of Z, and Y is an agent of Z |
| consequent |
|
|
| (=> (chiefOfState ?AREA ?POSITION ?PERSON) (occupiesPosition ?PERSON Leader (GovernmentFn ?AREA))) |
Government.kif 1537-1539 | If X chief of state Y for Z, then Z holds the position of leader in the government of X |
|