-1 |
consequent |
(=> (instance ?NUMBER Integer) (equal (ReciprocalFn ?NUMBER) (ExponentiationFn ?NUMBER -1))) |
Merge.kif 5082-5084 |
|
(=> (instance ?NUMBER NegativeRealNumber) (equal (SignumFn ?NUMBER) -1)) |
Merge.kif 5205-5207 |
|
(=> (instance ?X NonnegativeInteger) (greaterThan ?X -1)) |
Merge.kif 1981-1983 |
|