-1
|
|
consequent |
(=> (instance ?NUMBER Integer) (equal (ReciprocalFn ?NUMBER) (ExponentiationFn ?NUMBER -1))) |
Merge.kif 5083-5085 | |
(=> (instance ?NUMBER NegativeRealNumber) (equal (SignumFn ?NUMBER) -1)) |
Merge.kif 5206-5208 | |
(=> (instance ?X NonnegativeInteger) (greaterThan ?X -1)) |
Merge.kif 1981-1983 |