|
|
  Federation
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6505-6505 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6506-6506 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 173-173 | Federation is an instance of form of government |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 282-282 | Federation is a subattribute of federal government |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 249-249 | Monarchy is the opposite of federation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23463-23463 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23462-23462 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23461-23461 |
|
|
|
