(=>
(and
(subrelation ?PRED1 ?PRED2)
(valence ?PRED1 ?NUMBER))
(valence ?PRED2 ?NUMBER)) |
Merge.kif 174-178 |
If X is a subrelation of Y and X has Z argument(s), then Y has Z argument(s) |
(=>
(instance ?FUNCTION UnaryFunction)
(valence ?FUNCTION 1)) |
Merge.kif 3478-3480 |
If X is an instance of unary function, then X has 1 argument(s) |
(=>
(instance ?FUNCTION BinaryFunction)
(valence ?FUNCTION 2)) |
Merge.kif 3518-3520 |
If X is an instance of binary function, then X has 2 argument(s) |
(=>
(instance ?FUNCTION TernaryFunction)
(valence ?FUNCTION 3)) |
Merge.kif 3570-3572 |
If X is an instance of ternary function, then X has 3 argument(s) |
(=>
(instance ?FUNCTION QuaternaryFunction)
(valence ?FUNCTION 4)) |
Merge.kif 3581-3583 |
If X is an instance of quaternary function, then X has 4 argument(s) |
(=>
(instance ?REL BinaryPredicate)
(valence ?REL 2)) |
Merge.kif 3598-3600 |
If X is an instance of binary predicate, then X has 2 argument(s) |
(=>
(instance ?REL TernaryPredicate)
(valence ?REL 3)) |
Merge.kif 3609-3611 |
If X is an instance of ternary predicate, then X has 3 argument(s) |
(=>
(instance ?REL QuaternaryPredicate)
(valence ?REL 4)) |
Merge.kif 3620-3622 |
If X is an instance of quaternary predicate, then X has 4 argument(s) |
(=>
(instance ?REL QuintaryPredicate)
(valence ?REL 5)) |
Merge.kif 3631-3633 |
If X is an instance of quintary predicate, then X has 5 argument(s) |
(=>
(instance ?REL VariableArityRelation)
(not
(exists (?INT)
(valence ?REL ?INT)))) |
Merge.kif 3640-3644 |
If X is an instance of variable arity relation, then there doesn't exist Y such that X has Y argument(s) |
