###
# Copyright (c) 2019-present, IBM Research
# Licensed under The MIT License [see LICENSE for details]
###

EXISTS_CONNECTOR = "exists"
FORALL_CONNECTOR = "forall"
NOT_CONNECTOR = "not"
CONJUNCTION_CONNECTOR = 'conjunction'
DISJUNCTION_CONNECTOR = 'disjunction'
NEGATION_CONNECTOR = 'not'
SUBCONCEPTOF_CONNECTOR = 'subConceptOf'
EQCONCEPT_CONNECTOR = 'eqConceptTo'

INSTANCEOF_CONNECTOR = 'http://www.w3.org/1999/02/22-rdf-syntax-ns#type'

HK_BIND_ARG_1 = 'subject'
HK_BIND_ARG_2 = 'object'