(=> (Rational-Number ?X) (Exists (?Y) (And (Integer ?Y) (Integer (* ?X ?Y))))) (=> (Natural ?X) (Integer ?X)) (=> (Zero ?X) (Integer ?X)) (=> (Positive-Integer@Ol-User%Kif-Extensions ?X) (Integer ?X)) (=> (Non-Negative-Integer@Kif-Extensions ?X) (Integer ?X))
(<=> (Rational-Number ?X) (And (Real-Number ?X) (Exists (?Y) (And (Integer ?Y) (Integer (* ?X ?Y)))))) (<=> (Natural ?X) (And (Integer ?X) (> ?X 0))) (<=> (Zero ?X) (And (Integer ?X) (= ?X 0))) (<=> (Positive-Integer@Ol-User%Kif-Extensions ?X) (And (Integer ?X) (> ?X 0))) (<=> (Non-Negative-Integer@Kif-Extensions ?X) (And (Integer ?X) (>= ?X 0)))
(<= (Subclass-Of@Frame-Ontology ?X Integer) (Integer-Range@Ranges ?X))