(subclass BinaryPredicate Predicate) | Merge.kif 3479-3479 | PredicatoBinario è una sottoclasse di Predicato |
(subclass BinaryPredicate BinaryRelation) | Merge.kif 3480-3480 | PredicatoBinario è una sottoclasse di RelazioneBinaria |
(subclass BinaryPredicate InheritableRelation) | Merge.kif 3481-3481 | PredicatoBinario è una sottoclasse di InheritableRelation |
(subclass CaseRole BinaryPredicate) | Merge.kif 2400-2400 | RuoloSemantico è una sottoclasse di PredicatoBinario |
(subclass BinaryRelationExtendedToQuantities BinaryPredicate) | Geography.kif 643-643 | BinaryRelationExtendedToQuantities è una sottoclasse di PredicatoBinario |
(subclass SheddingPart BinaryPredicate) | Geography.kif 6406-6406 | SheddingPart è una sottoclasse di PredicatoBinario |
(instance subclass BinaryPredicate) | Merge.kif 129-129 | subclass è un' istanza di PredicatoBinario |