Relation Subclass-Partition in theory Frame-Ontology
Relation Subclass-Partition in theory Frame-Ontology Relation SUBCLASS-PARTITION Defined in theory: Frame-ontology Source code: frame-ontology.lisp Slots on this relation: Documentation : A subclass-partition of a class C is a set of subclasses of C that are mutually disjoint. Arity : 2 Domain : Class Range : Class-partition Axioms: ( ( Subclass-Partition ?C ?Class-Partition) (And ( Class ?C) ( Class-Partition ?Class-Partition) (Forall (?Subclass) (=> ( Member ?Subclass ?Class-Partition) ( Subclass-Of ?Subclass ?C))))) Notes: Why is the second argument a set, rather than a sequence variable?