Class: Logical_Expression

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

Superclasses (3)

Resource_Entity
argument exactly 2 (Axiom_Blank_Nodes or Logical_Expression or Node_Entity)
uses_logical_operator exactly 1 Logical_Operator

Usage (2)

Class: Logical_Expression
Simple_Restriction_Expression ⊆ on_Entity exactly 1 (Axiom_Blank_Nodes or Logical_Expression or Node_Entity)