|
|
  UnitaryRule
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 359-361 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 192-192 | UnitaryRule est une instance de FormOfGovernment |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 284-284 | FederalGovernment est l'oppos� de UnitaryRule |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60034-60034 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60033-60033 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60032-60032 |
|
|
|