Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   StateGovernment
|
|
|
| appearance as argument number 1 |
|
|
| (subclass StateGovernment Government) | Mid-level-ontology.kif 9682-9682 | State government is a subclass of government |
| (documentation StateGovernment EnglishLanguage "The class of Governments whose jurisdictions are StateOrProvinces.") | Mid-level-ontology.kif 9683-9684 | State government is a subclass of government |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (<=> (instance ?STATE StateOrProvince) (instance (GovernmentFn ?STATE) StateGovernment)) |
Mid-level-ontology.kif 9686-9688 | X is an instance of state or province if and only if the government of X is an instance of state government |
|