Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  PoliticalFigure
|
|
|
| appearance as argument number 1 |
|
|
| (subAttribute PoliticalFigure Celebrity) | Mid-level-ontology.kif 24807-24807 | Political figure is a subattribute of celebrity |
| (documentation PoliticalFigure EnglishLanguage "A well known person who participates in a PoliticalProcess. This must either be the person's principal occupation, or what is intended to become his principal occupation (for example, after an election).") | Mid-level-ontology.kif 24808-24811 | Political figure is a subattribute of celebrity |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (attribute ?X PoliticalFigure) (exists (?EV) (and (agent ?EV ?X) (instance ?EV PoliticalProcess)))) |
Mid-level-ontology.kif 24813-24818 | If political figure is an attribute of X, then there exists Y such that X is an agent of Y and Y is an instance of political process |
| (=> (attribute ?X PoliticalFigure) (exists (?GOV) (and (instance ?GOV Government) (or (member ?X ?GOV) (desires ?X (member ?X ?GOV)))))) |
Mid-level-ontology.kif 24820-24828 | If political figure is an attribute of X, then there exists Y such that Y is an instance of government and X is a member of Y or X desires X is a member of Y |
|