Sigma KB Term Intersection

(=> (and (domainSubclass ?REL ?NUMBER ?CLASS) (instance ?REL Predicate) (?REL @ROW)) (subclass (ListOrderFn (ListFn @ROW) ?NUMBER) ?CLASS))	Merge.kif 3005-3010	Wenn die Zahl PositiveInteger Argument von Relation ist eine teilkategorie von Class %n{nicht} und Relation ist ein fall von Predicate %n{nicht} und Relation @ROW, dann PositiveIntegerte mitglied von (@ROW) ist eine teilkategorie von Class
(subclass Predicate Relation)	Merge.kif 3339-3339	Predicate ist eine teilkategorie von Relation
(subclass Predicate InheritableRelation)	Merge.kif 3340-3340	Predicate ist eine teilkategorie von InheritableRelation
(subclass BinaryPredicate Predicate)	Merge.kif 3478-3478	BinaryPredicate ist eine teilkategorie von Predicate
(subclass TernaryPredicate Predicate)	Merge.kif 3489-3489	TernaryPredicate ist eine teilkategorie von Predicate
(subclass QuaternaryPredicate Predicate)	Merge.kif 3500-3500	QuaternaryPredicate ist eine teilkategorie von Predicate
(subclass QuintaryPredicate Predicate)	Merge.kif 3511-3511	QuintaryPredicate ist eine teilkategorie von Predicate
(subclass LogicalOperator Predicate)	Merge.kif 3550-3550	LogicalOperator ist eine teilkategorie von Predicate
(subclass ClosedWorldPredicate Predicate)	Merge.kif 18470-18470	ClosedWorldPredicate ist eine teilkategorie von Predicate