Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  PrimaryMetalManufacturing
|
|
|
| appearance as argument number 1 |
|
|
| (instance TheocraticGovernment FormOfGovernment) | Government.kif 186-186 | Theocratic government is an instance of form of government |
| (subAttribute TheocraticGovernment AuthoritarianRegime) | Government.kif 330-330 | Theocratic government is a subattribute of authoritarian regime |
| (documentation TheocraticGovernment EnglishLanguage "TheocraticGovernment is the attribute of a government that bases its authority on Religion.") | Government.kif 338-339 | Theocratic government is a subattribute of authoritarian regime |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (governmentType ?AGENT ?TYPE) (subAttribute ?TYPE TheocraticGovernment) (instance ?AGENT Organization)) (instance ?AGENT ReligiousOrganization)) |
Government.kif 345-350 | If X is a government type of Y, X is a subattribute of theocratic government, and Y is an instance of organization, then Y is an instance of religious organization |
| (=> (and (governmentType ?AGENT ?TYPE) (subAttribute ?TYPE TheocraticGovernment) (instance ?AGENT GeopoliticalArea)) (instance (GovernmentFn ?AGENT) ReligiousOrganization)) |
Government.kif 352-357 | If X is a government type of Y, X is a subattribute of theocratic government, and Y is an instance of geopolitical area, then the government of Y is an instance of religious organization |
|