ontac-forum
[Top] [All Lists]

RE: [ontac-forum] Surveyed Ontology "Library" Systems -- parts

To: "ONTAC-WG General Discussion" <ontac-forum@xxxxxxxxxxxxxx>
From: "Cassidy, Patrick J." <pcassidy@xxxxxxxxx>
Date: Mon, 31 Oct 2005 20:32:53 -0500
Message-id: <6ACD6742E291AF459206FFF2897764BE5F3006@xxxxxxxxxxxxxxxxx>
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)
<Prev in Thread] Current Thread [Next in Thread>
  • RE: [ontac-forum] Surveyed Ontology "Library" Systems -- parts, Cassidy, Patrick J. <=