![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
PoliticoEconomicAttribute
|
|
|
| appearance as argument number 1 |
|
|
| (subclass PoliticoEconomicAttribute RelationalAttribute) | Mid-level-ontology.kif 21436-21436 | Politico economic attribute is a subclass of relational attribute |
| (partition PoliticoEconomicAttribute FormOfGovernment EconomicAttribute) | Mid-level-ontology.kif 21437-21437 | Politico economic attribute is exhaustively partitioned into form of government and economic attribute |
| (documentation PoliticoEconomicAttribute EnglishLanguage "Any Attribute of a Government which specifies some aspect of the political or economic system of the Government.") | Mid-level-ontology.kif 21438-21440 | Politico economic attribute is exhaustively partitioned into form of government and economic attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?ATTRIBUTE PoliticoEconomicAttribute) (attribute ?GOVERNMENT ?ATTRIBUTE)) (instance ?GOVERNMENT Government)) |
Mid-level-ontology.kif 21442-21446 | If X is an instance of politico economic attribute and X is an attribute of Y, then Y is an instance of government |