The OWL file provided for the OpenCyc ontology doesn't contain axioms for implications, biconditionals etc.  Is this because OWL doesn't support such constructs, or is it because the OpenCyc subset of Cyc does not contain them (or both perhaps)?

Cameron.