(=> (Nonnegative-Integer ?X) (>= ?X 0))
(<=> (Minimum-Value-Cardinality@Frame-Ontology ?Instance ?Binary-Relation ?N) (And (Binary-Relation@Ol-User%Kif-Relations ?Binary-Relation) (Nonnegative-Integer ?N) (>= (Value-Cardinality@Frame-Ontology ?Instance ?Binary-Relation) ?N))) (<=> (Maximum-Value-Cardinality@Frame-Ontology ?Instance ?Binary-Relation ?N) (And (Binary-Relation@Ol-User%Kif-Relations ?Binary-Relation) (Nonnegative-Integer ?N) (=< (Value-Cardinality@Frame-Ontology ?Instance ?Binary-Relation) ?N)))
(Nth-Domain@Frame-Ontology Value-Cardinality@Frame-Ontology 3 Nonnegative-Integer) (Nth-Domain@Frame-Ontology Slot-Cardinality@Frame-Ontology 3 Nonnegative-Integer) (Nth-Domain@Frame-Ontology Minimum-Value-Cardinality@Frame-Ontology 3 Nonnegative-Integer) (Nth-Domain@Frame-Ontology Maximum-Value-Cardinality@Frame-Ontology 3 Nonnegative-Integer) (Nth-Domain@Frame-Ontology Minimum-Slot-Cardinality@Frame-Ontology 3 Nonnegative-Integer)