Class: Simple_Restriction_Expression

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

Superclasses (4)

Axiom_Blank_Nodes
uses_quantifier some Quantifier
onRelation exactly 1 Link_Entity
on_Entity exactly 1 (Axiom_Blank_Nodes or Logical_Expression or Node_Entity)

Usage (2)

Class: Simple_Restriction_Expression
Multiple_Restriction_Expression ⊆ argument exactly 2 (Multiple_Restriction_Expression or Simple_Restriction_Expression)