KM(39): (demo-all) // DEMO 1 // ======================================== // SILK REPRESENTATION OF Euk-Cell // ======================================== ?x[has_part->{_DNA3(?x)#DNA, _Nucleus3(?x)#Nucleus}] :- ?x#Euk_Cell ; _DNA3(?x)#DNA[ is_inside->_Nucleus3(?x)#Nucleus] :- ?x#Euk_Cell ; // DEMO 2 // ======================================== // SILK REPRESENTATION OF Cell // ======================================== ?x[has_part->_DNA4(?x)#DNA] :- ?x#Cell ; // ======================================== // SILK REPRESENTATION OF Euk-Cell // ======================================== ?x[has_part->{_DNA4(?x)#DNA, _Nucleus5(?x)#Nucleus}] :- ?x#Euk_Cell ; _DNA4(?x)#DNA[ is_inside->_Nucleus5(?x)#Nucleus] :- ?x#Euk_Cell ; // DEMO 3 // ======================================== // SILK REPRESENTATION OF HChromosome // ======================================== ?x[has_part->_DNA1(?x)#DNA] :- ?x#HChromosome ; // ======================================== // SILK REPRESENTATION OF Crossing-Over // ======================================== ?x[donor->_HChromosome2(?x)#HChromosome] :- ?x#Crossing_Over ; _HChromosome2(?x)#HChromosome[ has_part->_DNA1(_HChromosome2(?x))#DNA] :- ?x#Crossing_Over ; // DEMO 4 // ======================================== // SILK REPRESENTATION OF HChromosome // ======================================== ?x[has_part->_DNA1(?x)#DNA] :- ?x#HChromosome ; // ======================================== // SILK REPRESENTATION OF Crossing-Over // ======================================== ?x[donor->{_HChromosome2(?x)#HChromosome, _HChromosome3(?x)#HChromosome}] :- ?x#Crossing_Over ; _HChromosome2(?x)#HChromosome[ has_part->_DNA1(_HChromosome2(?x))#DNA] :- ?x#Crossing_Over ; _HChromosome3(?x)#HChromosome[ has_part->_DNA1(_HChromosome3(?x))#DNA] :- ?x#Crossing_Over ; // DEMO 5 // ======================================== // SILK REPRESENTATION OF Prok-Cell // ======================================== ?x[has_part->_DNA4(?x)#DNA] :- ?x#Prok_Cell ; // ======================================== // SILK REPRESENTATION OF Spherical-Cell // ======================================== ?x[has_part->_DNA6(?x)#DNA] :- ?x#Spherical_Cell ; // ======================================== // SILK REPRESENTATION OF Spherical-Prok-Cell // ======================================== _DNA4(?x) :=: _DNA6(?x) :- ?x#Spherical_Prok_Cell ; ?x[has_part->{_DNA4(?x)#DNA, _Nucleus5(?x)}] :- ?x#Spherical_Prok_Cell ; // DEMO 6 // ======================================== // SILK REPRESENTATION OF Adenine // ======================================== ?x[complement->_Cytosine1(?x)#Cytosine] :- ?x#Adenine ; // ======================================== // SILK REPRESENTATION OF Cytosine // ======================================== ?x[complement->_Adenine2(?x)#Adenine] :- ?x#Cytosine ; // ======================================== // SILK REPRESENTATION OF DNA // ======================================== _Adenine3(?x) :=: _Adenine2(_Cytosine3(?x)) :- ?x#DNA ; _Cytosine3(?x) :=: _Cytosine1(_Adenine3(?x)) :- ?x#DNA ; ?x[has_part->{_Cytosine3(?x)#Cytosine, _Adenine3(?x)#Adenine}] :- ?x#DNA ; _Cytosine3(?x)#Cytosine[ complement->_Adenine3(?x)#Adenine] :- ?x#DNA ;