Class: Multiple_Restriction_Expression

http://cui.unige.ch/isi/onto/tok/TOK.owl#Multiple_Restriction_Expression

Superclasses (3)

Axiom_Blank_Nodes
argument exactly 2 (Multiple_Restriction_Expression or Simple_Restriction_Expression)
uses_logical_operator exactly 1 Logical_Operator

Usage (1)

Class: Multiple_Restriction_Expression