Oops. I left out a part of the axiom (it happens when one tries to
hurry). It was supposed to be: (01)
{{?Seq1 hasSubSequence ?SubSeq} impliesThat
(If {?Oligonuc1 isanInstanceOf ?Seq1) then
(thereExistsAtLeastOne ?Oligonuc2 suchThat
{{?Oligonuc2 isanInstanceOf ?SubSeq} and
{?Oligonuc2 isanInstanceOf OligoNucleotide} and
{?Oligonuc2 isaPhysicalPartOf ?Oligonuc1}}))} (02)
Patrick Cassidy
MITRE Corporation
260 Industrial Way
Eatontown, NJ 07724
Mail Stop: MNJE
Phone: 732-578-6340
Cell: 908-565-4053
Fax: 732-578-6012
Email: pcassidy@xxxxxxxxx (03)
_________________________________________________________________
Message Archives: http://colab.cim3.net/forum/ontac-forum/
To Post: mailto:ontac-forum@xxxxxxxxxxxxxx
Subscribe/Unsubscribe/Config:
http://colab.cim3.net/mailman/listinfo/ontac-forum/
Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
Community Wiki:
http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatingWG (04)
|