Class: Axiom_Restriction

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

Superclasses (1)

Expression_Entity

Usage (3)

Class: Axiom_Restriction
Logical_Expression ⊆ argument exactly 2 (Axiom_Restriction or Logical_Expression or Node_Entity)
Simple_Restriction_Expression ⊆ on_Entity exactly 1 (Axiom_Restriction or Logical_Expression or Node_Entity)