(#$isa #$VirusInvadesCell #$Class )
(#$genls #$VirusInvadesCell #$Invade )

(#$relationAllExists #$VirusInvadesCell #$agent #$VirusParticle )

(#$relationAllExists #$VirusInvadesCell #$patient #$Cell )

(#$relationAllExists #$VirusInvadesCell #$phases #$EclipsePeriod )

(#$implies 
   (#$and 
      (#$isa ?VP #$VirusParticle )
      (#$isa ?V #$VirusInvadesCell )
      (#$isa ?E #$EclipsePeriod )
      (#$phases ?V ?E )
      (#$agent ?V ?VP ))
   (#$agent ?E ?VP ))

(#$implies 
   (#$and 
      (#$isa ?V #$VirusInvadesCell )
      (#$isa ?E #$EclipsePeriod )
      (#$isa ?C #$Cell )
      (#$phases ?V ?E )
      (#$patient ?V ?C ))
   (#$patient ?E ?C ))

(#$implies 
   (#$and 
      (#$isa ?V #$VirusInvadesCell )
      (#$isa ?E #$EclipsePeriod )
      (#$isa ?AT #$attach )
      (#$phases ?V ?E )
      (#$subevents ?V ?AT ))
   (#$subevents ?E ?AT ))

(#$implies 
   (#$and 
      (#$isa ?V #$VirusInvadesCell )
      (#$isa ?E #$EclipsePeriod )
      (#$isa ?PE #$Penetrate )
      (#$phases ?V ?E )
      (#$subevents ?V ?PE ))
   (#$subevents ?E ?PE ))

(#$implies 
   (#$and 
      (#$isa ?V #$VirusInvadesCell )
      (#$isa ?E #$EclipsePeriod )
      (#$isa ?UN #$Uncoat )
      (#$phases ?V ?E )
      (#$subevents ?V ?UN ))
   (#$subevents ?E ?UN ))

(#$implies 
   (#$and 
      (#$isa ?V #$VirusInvadesCell )
      (#$isa ?E #$EclipsePeriod )
      (#$isa ?PP #$ProductionPeriod )
      (#$phases ?V ?E )
      (#$phases ?V ?PP )
      (#$then ?E ?PP ))
   )

(#$relationAllExists #$VirusInvadesCell #$phases #$ProductionPeriod )

(#$implies 
   (#$and 
      (#$isa ?V #$VirusInvadesCell )
      (#$isa ?VP #$VirusParticle )
      (#$isa ?P #$ProductionPeriod )
      (#$phases ?V ?P )
      (#$agent ?V ?VP ))
   (#$agent ?P ?VP ))

(#$implies 
   (#$and 
      (#$isa ?V #$VirusInvadesCell )
      (#$isa ?VP #$VirusParticle )
      (#$isa ?C #$Cell )
      (#$agent ?V ?VP )
      (#$patient ?V ?C ))
   (#$inside ?VP ?C ))

(#$implies 
   (#$and 
      (#$isa ?V #$VirusInvadesCell )
      (#$isa ?P #$ProductionPeriod )
      (#$isa ?C #$Cell )
      (#$phases ?V ?P )
      (#$patient ?V ?C ))
   (#$patient ?P ?C ))

(#$relationAllExists #$VirusInvadesCell #$subevents #$attach )

(#$implies 
   (#$and 
      (#$isa ?V #$VirusInvadesCell )
      (#$isa ?A #$attach )
      (#$isa ?VP #$VirusParticle )
      (#$subevents ?V ?A )
      (#$agent ?V ?VP ))
   (#$agent ?A ?VP ))

(#$implies 
   (#$and 
      (#$isa ?V #$VirusInvadesCell )
      (#$isa ?A #$attach )
      (#$isa ?C #$Cell )
      (#$subevents ?V ?A )
      (#$patient ?V ?C ))
   (#$patient ?A ?C ))

(#$implies 
   (#$and 
      (#$isa ?V #$VirusInvadesCell )
      (#$isa ?A #$attach )
      (#$isa ?SE #$Penetrate )
      (#$subevents ?V ?A )
      (#$subevents ?V ?SE ))
   (#$then ?A ?SE ))

(#$relationAllExists #$VirusInvadesCell #$subevents #$Penetrate )

(#$implies 
   (#$and 
      (#$isa ?V #$virusInvadeCell )
      (#$isa ?P #$Penetrate )
      (#$isa ?VP #$VirusParticle )
      (#$subevents ?V ?P )
      (#$agent ?V ?VP ))
   (#$agent ?A ?VP ))

(#$implies 
   (#$and 
      (#$isa ?V #$virusInvadeCell )
      (#$isa ?P #$Penetrate )
      (#$isa ?C #$Cell )
      (#$subevents ?V ?P )
      (#$patient ?V ?C ))
   (#$patient ?A ?C ))

(#$implies 
   (#$and 
      (#$isa ?V #$virusInvadeCell )
      (#$isa ?P #$Penetrate )
      (#$isa ?U #$Uncoat )
      (#$subevents ?V ?P )
      (#$subevents ?V ?U ))
   (#$then ?P ?U ))

(#$implies 
   (#$and 
      (#$isa ?V #$virusInvadeCell )
      (#$isa ?P #$Penetrate )
      (#$subevents ?V ?P ))
   (#$and 
      (#$isa ?E #$Endocytosis )
      (#$subevents ?P ?E )))

(#$implies 
   (#$and 
      (#$isa ?V #$virusInvadeCell )
      (#$isa ?P #$Penetrate )
      (#$isa ?E #$Endocytosis )
      (#$agent ?V ?VP )
      (#$subevents ?V ?P )
      (#$subevents ?P ?E ))
   (#$agent ?E ?VP ))

(#$implies 
   (#$and 
      (#$isa ?V #$virusInvadeCell )
      (#$isa ?P #$Penetrate )
      (#$isa ?E #$Endocytosis )
      (#$isa ?C #$Cell )
      (#$patient ?V ?C )
      (#$subevents ?V ?P )
      (#$subevents ?P ?E ))
   (#$patient ?E ?C ))

(#$implies 
   (#$and 
      (#$isa ?V #$virusInvadeCell )
      (#$isa ?P #$Penetrate )
      (#$isa ?E #$Endocytosis )
      (#$isa ?F #$Fusion )
      (#$subevents ?V ?P )
      (#$subevents ?P ?E )
      (#$subevents ?P ?F ))
   (#$then ?E ?F ))

(#$implies 
   (#$and 
      (#$isa ?V #$VirusInvadesCell )
      (#$isa ?P #$Penetrate )
      (#$subevents ?V ?P ))
   (#$and 
      (#$isa ?F #$Fusion )
      (#$subevents ?P ?F )))

(#$implies 
   (#$and 
      (#$isa ?V #$virusInvadeCell )
      (#$isa ?P #$Penetrate )
      (#$isa ?F #$Fusion )
      (#$isa ?VE #$Vesicle )
      (#$isa ?E #$Endocytosis )
      (#$subevents ?V ?P )
      (#$subevents ?P ?F )
      (#$subevents ?P ?E )
      (#$creates ?E ?VE ))
   (#$patient ?F ?VE ))

(#$relationAllExists #$VirusInvadesCell #$subevents #$Uncoat )

(#$implies 
   (#$and 
      (#$isa ?V #$virusInvadeCell )
      (#$isa ?U #$Uncoat )
      (#$isa ?C #$Cell )
      (#$subevents ?V ?U )
      (#$patient ?V ?C ))
   (#$agent ?U ?C ))

(#$implies 
   (#$and 
      (#$isa ?V #$virusInvadeCell )
      (#$isa ?U #$Uncoat )
      (#$isa ?VP #$VirusParticle )
      (#$subevents ?V ?U )
      (#$agent ?V ?VP ))
   (#$patient ?U ?VP ))

(#$implies 
   (#$and 
      (#$isa ?V #$virusInvadeCell )
      (#$isa ?U #$Uncoat )
      (#$subevents ?V ?U ))
   (#$and 
      (#$isa ?D #$Degrade )
      (#$subevents ?U ?D )))

(#$implies 
   (#$and 
      (#$isa ?V #$virusInvadeCell )
      (#$isa ?U #$Uncoat )
      (#$isa ?D #$Degrade )
      (#$isa ?VP #$VirusParticle )
      (#$subevents ?V ?U )
      (#$subevents ?U ?D )
      (#$agent ?V ?VP ))
   (#$patient ?D ?VP ))

(#$implies 
   (#$and 
      (#$isa ?V #$virusInvadeCell )
      (#$isa ?U #$Uncoat )
      (#$isa ?D #$Degrade )
      (#$isa ?C #$Cell )
      (#$subevents ?V ?U )
      (#$subevents ?U ?D )
      (#$patient ?V ?C ))
   (#$agent ?D ?C ))

(#$implies 
   (#$and 
      (#$isa ?V #$virusInvadeCell )
      (#$isa ?U #$Uncoat )
      (#$isa ?D #$Degrade )
      (#$isa ?P #$Penetrate )
      (#$isa ?F #$Fusion )
      (#$isa ?L #$Lysosome )
      (#$subevents ?V ?U )
      (#$subevents ?U ?D )
      (#$subevents ?V ?P )
      (#$subevents ?P ?F )
      (#$agent ?F ?L ))
   (#$agent ?D ?L ))

(#$implies 
   (#$and 
      (#$isa ?V #$virusInvadeCell )
      (#$isa ?U #$Uncoat )
      (#$isa ?D #$Degrade )
      (#$isa ?P #$Penetrate )
      (#$isa ?F #$Fusion )
      (#$isa ?L #$Lysosome )
      (#$isa ?A #$Acid )
      (#$subevents ?V ?U )
      (#$subevents ?U ?D )
      (#$subevents ?V ?P )
      (#$subevents ?P ?F )
      (#$agent ?F ?L )
      (#$contents ?L ?A ))
   (#$instrument ?D ?A ))

(#$implies 
   (#$and 
      (#$isa ?V #$virusInvadeCell )
      (#$isa ?U #$Uncoat )
      (#$subevents ?V ?U ))
   (#$and 
      (#$isa ?E #$Exit )
      (#$subevents ?U ?E )))

(#$implies 
   (#$and 
      (#$isa ?V #$virusInvadeCell )
      (#$isa ?U #$Uncoat )
      (#$isa ?E #$Exit )
      (#$isa ?VP #$VirusParticle )
      (#$subevents ?V ?U )
      (#$subevents ?U ?E )
      (#$agent ?V ?VP ))
   (#$agent ?E ?VP ))

(#$implies 
   (#$and 
      (#$isa ?V #$virusInvadeCell )
      (#$isa ?U #$Uncoat )
      (#$isa ?E #$Exit )
      (#$subevents ?V ?U )
      (#$subevents ?U ?E ))
   (#$and 
      (#$isa ?P #$place )
      (#$destination ?E ?P )))

(#$implies 
   (#$and 
      (#$isa ?V #$virusInvadeCell )
      (#$isa ?U #$Uncoat )
      (#$isa ?E #$Exit )
      (#$isa ?P #$place )
      (#$isa ?PN #$Penetrate )
      (#$isa ?F #$Fusion )
      (#$isa ?L #$Lysosome )
      (#$subevents ?V ?U )
      (#$subevents ?U ?E )
      (#$destination ?E ?P )
      (#$subevents ?V ?PN )
      (#$subevents ?PN ?F )
      (#$agent ?F ?L ))
   (#$outside ?P ?L ))

(#$implies 
   (#$and 
      (#$isa ?V #$virusInvadeCell )
      (#$isa ?U #$Uncoat )
      (#$subevents ?V ?U ))
   (#$and 
      (#$isa ?D #$Degrade )
      (#$subevents ?U ?D )))

(#$implies 
   (#$and 
      (#$isa ?V #$virusInvadeCell )
      (#$isa ?U #$Uncoat )
      (#$isa ?D #$Degrade )
      (#$isa ?C #$Cell )
      (#$subevents ?V ?U )
      (#$subevents ?U ?D )
      (#$patient ?V ?C ))
   (#$agent ?D ?C ))

(#$implies 
   (#$and 
      (#$isa ?V #$virusInvadeCell )
      (#$isa ?U #$Uncoat )
      (#$isa ?D #$Degrade )
      (#$isa ?VP #$VirusParticle )
      (#$subevents ?V ?U )
      (#$subevents ?U ?D )
      (#$agent ?V ?VP ))
   (#$patient ?D ?VP ))

(#$implies 
   (#$and 
      (#$isa ?V #$virusInvadeCell )
      (#$isa ?U #$Uncoat )
      (#$isa ?D #$Degrade )
      (#$isa ?P #$Penetrate )
      (#$isa ?F #$Fusion )
      (#$isa ?L #$Lysosome )
      (#$subevents ?V ?U )
      (#$subevents ?U ?D )
      (#$subevents ?V ?P )
      (#$subevents ?P ?F )
      (#$agent ?F ?L ))
   (#$outside ?D ?L ))

(#$implies 
   (#$and 
      (#$isa ?V #$virusInvadeCell )
      (#$isa ?U #$Uncoat )
      (#$isa ?D #$Degrade )
      (#$isa ?CT #$Cytoplasm )
      (#$isa ?C #$Cell )
      (#$subevents ?V ?U )
      (#$subevents ?U ?D )
      (#$patient ?V ?C )
      (#$part ?C ?CT ))
   (#$inside ?D ?CT ))


(#$isa #$Invade #$Class )
(#$genls #$Invade #$Enter )

(#$relationAllExists #$Invade #$agent #$TangibleThing )

(#$implies 
   (#$and 
      (#$isa ?I #$Invade )
      (#$isa ?TH #$TangibleThing )
      (#$agent ?I ?TH ))
   (#$and 
      (#$isa ?B #$ToBe )
      (#$goal ?TH ?B )))

(#$implies 
   (#$and 
      (#$isa ?I #$Invade )
      (#$isa ?TH #$TangibleThing )
      (#$isa ?B #$ToBe )
      (#$agent ?I ?TH )
      (#$goal ?TH ?B ))
   (#$role ?B ?TH ))

(#$implies 
   (#$and 
      (#$isa ?I #$Invade )
      (#$isa ?TH #$TangibleThing )
      (#$isa ?B #$ToBe )
      (#$agent ?I ?TH )
      (#$goal ?TH ?B ))
   (#$and 
      (#$isa ?C #$Control )
      (#$in ?B ?C )))

(#$implies 
   (#$and 
      (#$isa ?I #$Invade )
      (#$isa ?TH #$TangibleThing )
      (#$isa ?B #$ToBe )
      (#$isa ?C #$Control )
      (#$isa ?CO #$Container )
      (#$agent ?I ?TH )
      (#$goal ?TH ?B )
      (#$in ?B ?C )
      (#$patient ?I ?CO ))
   (#$patient ?C ?CO ))


(#$isa #$Container #$Class )
(#$genls #$Container #$Enclosure )

(#$implies 
   (#$isa ?C #$Container )
   (#$shape ?C #$*Hollowvolume ))

(#$relationAllExists #$Container #$separates #$Space )

(#$relationAllExists #$Container #$separates #$Space )

(#$implies 
   (#$and 
      (#$isa ?C #$Container )
      (#$isa ?S1 #$Space )
      (#$isa ?S2 #$Space )
      (#$separates ?C ?S1 )
      (#$separates ?C ?S2 )
      (#$<> ?S1 ?S2 ))
   (#$and 
      (#$inside ?S1 ?C )
      (#$outside ?S2 ?C )))

(#$implies 
   (#$and 
      (#$isa ?C #$Container )
      (#$isa ?S1 #$Space )
      (#$inside ?S1 ?C )
      (#$separates ?C ?S1 ))
   (#$surrounds ?C ?S1 ))

(#$implies 
   (#$and 
      (#$isa ?C #$Container )
      (#$intersects ?C ?I ))
   (#$and 
      (#$instanceOf ?I #$Portal )
      (#$in ?I ?C )))

(#$implies 
   (#$and 
      (#$isa ?C #$Container )
      (#$isa ?O #$object )
      (#$contains ?C ?O ))
   (#$imperviousTo ?C ?O ))


(#$isa #$Contain #$Class )
(#$genls #$Container #$Change )

(#$relationAllExists #$Contain #$effector #$Container )

(#$relationAllExists #$Contain #$patient #$TangibleThing )

(#$relationAllExists #$Contain #$aspect #$HoldTogether )

(#$implies 
   (#$and 
      (#$isa ?C #$Contain )
      (#$isa ?H #$HoldTogether )
      (#$isa ?O #$Container )
      (#$aspect ?C ?H )
      (#$effector ?C ?O ))
   (#$effector ?H ?O ))

(#$implies 
   (#$and 
      (#$isa ?C #$Contain )
      (#$isa ?H #$HoldTogether )
      (#$isa ?O #$TangibleThing )
      (#$aspect ?C ?H )
      (#$patient ?C ?O ))
   (#$patient ?H ?O ))

(#$implies 
   (#$and 
      (#$isa ?C #$Contain )
      (#$isa ?H #$HoldTogether )
      (#$isa ?T #$TangibleThing )
      (#$isa ?D #$Dispersion )
      (#$isa ?CO #$Container )
      (#$isa ?S #$Space )
      (#$aspect ?C ?H )
      (#$patient ?C ?T )
      (#$patient ?D ?T )
      (#$effector ?C ?CO )
      (#$theSpaceOutside ?CO ?S )
      (#$destination ?D ?S ))
   (#$prevent ?H ?D ))

(#$implies 
   (#$and 
      (#$isa ?C #$Contain )
      (#$isa ?H #$HoldInPlace )
      (#$isa ?O #$Container )
      (#$aspect ?C ?H )
      (#$effector ?C ?O ))
   (#$effector ?H ?O ))

(#$implies 
   (#$and 
      (#$isa ?C #$Contain )
      (#$isa ?H #$HoldInPlace )
      (#$isa ?O #$TangibleThing )
      (#$aspect ?C ?H )
      (#$patient ?C ?O ))
   (#$patient ?H ?O ))

(#$implies 
   (#$and 
      (#$isa ?C #$Contain )
      (#$isa ?H #$HoldInPlace )
      (#$isa ?T #$TangibleThing )
      (#$isa ?M #$Move )
      (#$isa ?CO #$Container )
      (#$isa ?S #$Space )
      (#$aspect ?C ?H )
      (#$patient ?C ?T )
      (#$patient ?M ?T )
      (#$effector ?C ?CO )
      (#$theSpaceOutside ?CO ?S )
      (#$destination ?M ?S ))
   (#$prevent ?H ?M ))

(#$implies 
   (#$and 
      (#$isa ?C #$Contain )
      (#$isa ?H #$Protect )
      (#$isa ?O #$Container )
      (#$aspect ?C ?H )
      (#$effector ?C ?O ))
   (#$effector ?H ?O ))

(#$implies 
   (#$and 
      (#$isa ?C #$Contain )
      (#$isa ?H #$Protect )
      (#$isa ?O #$TangibleThing )
      (#$aspect ?C ?H )
      (#$patient ?C ?O ))
   (#$patient ?H ?O ))

(#$implies 
   (#$and 
      (#$isa ?C #$Contain )
      (#$isa ?H #$Protect )
      (#$isa ?T #$TangibleThing )
      (#$isa ?D #$Damage )
      (#$isa ?TH #$thing )
      (#$isa ?P #$place )
      (#$isa ?O #$Container )
      (#$aspect ?C ?H )
      (#$patient ?C ?T )
      (#$patient ?D ?T )
      (#$effector ?C ?TH )
      (#$location ?TH ?P )
      (#$outside ?P ?O )
      (#$effector ?C ?O )
      (#$prevent ?H ?D ))
   )


(#$isa #$Portal #$Class )
(#$genls #$Portal #$Space )

(#$implies 
   (#$and 
      (#$isa ?S #$Space )
      (#$isa ?B #$Barrier ))
   (#$equiv 
      (#$instanceOf ?S #$Portal )
      (#$intersects ?S ?B )))

(#$relationAllExists #$Portal #$aperture #$VolumeMeasurement )

(#$implies 
   (#$and 
      (#$isa ?P #$Portal )
      (#$isa ?V #$VolumeMeasurement )
      (#$isa ?L #$object )
      (#$aperture ?P ?V )
      (#$landmarks ?V ?L ))
   (#$isa ?L 
      (#$classOf 
         (#$*Open #$*Closed ))))


(#$isa #$Barrier #$Class )


(#$arity #$coveredBy 2 )
(#$domain #$coveredBy #$Portal )
(#$range #$coveredBy #$Barrier )
(#$cardinality #$coveredBy 1 )

(#$implies 
   (#$isa ?C #$Container )
   (#$equiv 
      (#$instanceOf ?C #$Container@Empty )
      (#$and 
         (#$valueType ?C #$contains #$TangibleThing )
         (#$cardinality ?C #$contains 0 ))))

(#$implies 
   (#$and 
      (#$isa ?C #$Container )
      (#$isa ?P #$Portal ))
   (#$equiv 
      (#$instanceOf ?C #$Container@Open )
      (#$and 
         (#$intersects ?C ?P )
         (#$aperture ?P #$*Open ))))

(#$implies 
   (#$and 
      (#$isa ?C #$Container@Open )
      (#$isa ?M #$Move )
      (#$intersects ?C ?P )
      (#$through ?M ?P ))
   (#$permits ?C ?M ))

(#$implies 
   (#$and 
      (#$isa ?C #$Container )
      (#$isa ?P #$Portal ))
   (#$equiv 
      (#$instanceOf ?C #$Container@Closed )
      (#$and 
         (#$intersects ?C ?P )
         (#$aperture ?P #$*Closed ))))

(#$implies 
   (#$and 
      (#$isa ?C #$Container@Closed )
      (#$isa ?M #$Move )
      (#$intersects ?M ?P )
      (#$through ?M ?P ))
   (#$prevents ?C ?M ))


(#$isa #$Enter #$Class )
(#$genls #$Enter #$Move )

(#$relationAllExists #$Enter #$beneficiary #$Enclosure )

(#$relationAllExists #$Enter #$patient #$TangibleThing )

(#$implies 
   (#$and 
      (#$isa ?E #$Enter )
      (#$isa ?TH #$TangibleThing )
      (#$isa ?L #$location )
      (#$isa ?EN #$Enclosure )
      (#$patient ?E ?TH )
      (#$beneficiary ?E ?EN )
      (#$outside ?EN ?L ))
   (#$location ?TH ?L ))

(#$relationAllExists #$Enter #$Affect #$Affect )

(#$implies 
   (#$and 
      (#$isa ?E #$Enter )
      (#$isa ?A #$Affect )
      (#$isa ?C #$Container )
      (#$Affect ?E ?A )
      (#$beneficiary ?E ?C ))
   (#$affectedThing ?A ?C ))

(#$implies 
   (#$and 
      (#$isa ?E #$Enter )
      (#$isa ?A #$Affect )
      (#$Affect ?E ?A ))
   (#$affectedSlot ?A #$contains ))

(#$implies 
   (#$and 
      (#$isa ?E #$Enter )
      (#$isa ?A #$Affect )
      (#$isa ?TH #$TangibleThing )
      (#$Affect ?E ?A )
      (#$patient ?E ?TH ))
   (#$newValue ?A ?TH ))

(#$implies 
   (#$and 
      (#$isa ?E #$Enter )
      (#$isa ?LOCATION1 #$location )
      (#$isa ?C #$Container )
      (#$beneficiary ?E ?C )
      (#$outside ?C ?LOCATION1 ))
   (#$source ?E ?LOCATION1 ))

(#$implies 
   (#$and 
      (#$isa ?E #$Enter )
      (#$isa ?LOCATION1 #$location )
      (#$isa ?C #$Container )
      (#$beneficiary ?E ?C )
      (#$inside ?C ?LOCATION2 ))
   (#$destination ?C ?LOCATION2 ))

(#$implies 
   (#$and 
      (#$isa ?E #$Enter )
      (#$isa ?LOCATION1 #$location )
      (#$isa ?N #$Enclosure )
      (#$isa ?P #$Portal )
      (#$donor ?E ?N )
      (#$intersects ?E ?P ))
   (#$through ?E ?P ))


(#$isa #$Exit #$Class )
(#$genls #$Exit #$Move )

(#$relationAllExists #$Exit #$donor #$Enclosure )

(#$implies 
   (#$and 
      (#$isa ?E #$Exit )
      (#$isa ?N #$Enclosure )
      (#$isa ?P #$somethingExisting )
      (#$donor ?E ?N )
      (#$patient ?E ?P ))
   (#$contains ?N ?P ))

(#$implies 
   (#$and 
      (#$isa ?E #$Exit )
      (#$isa ?A #$Affect )
      (#$isa ?N #$Enclosure )
      (#$Affect ?E ?A )
      (#$donor ?E ?N ))
   (#$affectedThing ?A ?N ))

(#$implies 
   (#$and 
      (#$isa ?E #$Exit )
      (#$isa ?A #$Affect )
      (#$Affect ?E ?A ))
   (#$affectedSlot ?A #$contains ))

(#$implies 
   (#$and 
      (#$isa ?E #$Exit )
      (#$isa ?A #$Affect )
      (#$isa ?TH #$TangibleThing )
      (#$Affect ?E ?A )
      (#$patient ?E ?TH ))
   (#$oldValue ?A ?TH ))

(#$implies 
   (#$and 
      (#$isa ?E #$Enter )
      (#$isa ?LOCATION1 #$location )
      (#$isa ?N #$Enclosure )
      (#$donor ?E ?N )
      (#$inside ?C ?LOCATION1 ))
   (#$source ?E ?LOCATION1 ))

(#$implies 
   (#$and 
      (#$isa ?E #$Enter )
      (#$isa ?LOCATION1 #$location )
      (#$isa ?N #$Enclosure )
      (#$donor ?E ?N )
      (#$inside ?N ?LOCATION2 ))
   (#$destination ?N ?LOCATION2 ))

(#$implies 
   (#$and 
      (#$isa ?E #$Enter )
      (#$isa ?LOCATION1 #$location )
      (#$isa ?N #$Enclosure )
      (#$isa ?P #$Portal )
      (#$donor ?E ?N )
      (#$intersects ?E ?P ))
   (#$through ?E ?P ))


(#$isa #$OpenContainer #$Class )
(#$superclass #$OpenContainer #$Opening )
(#$implies 
   (#$and 
      (#$isa ?O #$Opening )
      (#$isa ?C #$Container )
      (#$isa ?I #$Surface ))
   (#$equiv 
      (#$instanceOf ?O #$OpenContainer )
      (#$and 
         (#$inOf ?C ?I )
         (#$patient ?O ?I ))))


(#$isa #$CloseContainer #$Class )
(#$superclass #$CloseContainer #$Opening )
(#$implies 
   (#$and 
      (#$isa ?C1 #$Closing )
      (#$isa ?C #$Container )
      (#$isa ?I #$Surface ))
   (#$equiv 
      (#$instanceOf ?C1 #$OpenContainer )
      (#$and 
         (#$inOf ?C1 ?I )
         (#$patient ?O ?I ))))


(#$isa #$OpenPortal #$Class )
(#$implies 
   (#$and 
      (#$isa ?O #$Opening )
      (#$isa ?P #$Portal ))
   (#$equiv 
      (#$instanceOf ?O #$OpenPortal )
      (#$patient ?O ?P )))


(#$isa #$ClosePortal #$Class )
(#$genls #$ClosePortal #$Closing )
(#$implies 
   (#$and 
      (#$isa ?C #$Closing )
      (#$isa ?P #$Portal ))
   (#$equiv 
      (#$instanceOf ?C #$ClosePortal )
      (#$patient ?C ?P )))


(#$isa #$Convey #$Class )
(#$genls #$Convey #$Move )

(#$implies 
   (#$and 
      (#$isa ?M #$Move )
      (#$isa ?C #$Container ))
   (#$equiv 
      (#$instanceOf ?M #$Convey )
      (#$patient ?M ?C )))

(#$relationAllExists #$Convey #$causes #$Move )

(#$implies 
   (#$and 
      (#$isa ?C #$Convey )
      (#$isa ?THING1 #$thing )
      (#$isa ?THING2 #$thing )
      (#$isa ?M #$Move )
      (#$causes ?C ?M )
      (#$patient ?THING1 ?C )
      (#$contains ?THING1 ?THING2 ))
   (#$patient ?M ?THING2 ))

(#$implies 
   (#$and 
      (#$isa ?C #$Convey )
      (#$isa ?THING1 #$thing )
      (#$isa ?THING2 #$thing )
      (#$isa ?M #$Move )
      (#$isa ?S #$source )
      (#$causes ?C ?M )
      (#$patient ?THING1 ?C )
      (#$contains ?THING1 ?THING2 )
      (#$source ?C ?S ))
   (#$source ?M ?S ))

(#$implies 
   (#$and 
      (#$isa ?C #$Convey )
      (#$isa ?THING1 #$thing )
      (#$isa ?THING2 #$thing )
      (#$isa ?M #$Move )
      (#$isa ?D #$destination )
      (#$causes ?C ?M )
      (#$patient ?THING1 ?C )
      (#$contains ?THING1 ?THING2 )
      (#$destination ?C ?D ))
   (#$destination ?M ?D ))

(#$implies 
   (#$and 
      (#$isa ?C #$Convey )
      (#$isa ?THING1 #$thing )
      (#$isa ?THING2 #$thing )
      (#$isa ?M #$Move )
      (#$causes ?C ?M )
      (#$patient ?THING1 ?C )
      (#$contains ?THING1 ?THING2 ))
   )


(#$isa #$Portal #$Class )
(#$relationAllExists #$Portal #$aperture #$ApertureQuantity )

(#$defobject #$*Open 
   (#$instanceOf #$*Open #$ApertureQuantity ))

(#$defobject #$*Closed 
   (#$instanceOf #$*Closed #$ApertureQuantity ))


(#$isa #$Portal@Open #$Class )
(#$implies 
   (#$isa ?P #$Portal )
   (#$equiv 
      (#$instanceOf ?P #$Portal@Open )
      (#$aperture ?P #$*Open )))

(#$implies 
   (#$and 
      (#$isa ?P #$Portal@Open )
      (#$isa ?M #$Move )
      (#$through ?M ?P ))
   (#$permits ?P ?M ))


(#$isa #$Portal@Closed #$Class )
(#$implies 
   (#$isa ?P #$Portal )
   (#$equiv 
      (#$instanceOf ?P #$Portal@Closed )
      (#$aperture ?P #$*Closed )))

(#$implies 
   (#$and 
      (#$isa ?P #$Portal@Closed )
      (#$isa ?M #$Move )
      (#$through ?M ?P ))
   (#$prevents ?P ?M ))


(#$isa #$Open #$Class )
(#$genls #$Open #$Move )
(#$implies 
   (#$and 
      (#$isa ?M #$Move )
      (#$isa ?P #$Portal )
      (#$isa ?Q #$ApertureQuantity ))
   (#$equiv 
      (#$instanceOf ?M #$Open )
      (#$and 
         (#$patient ?M ?P )
         (#$aperture ?P ?Q )
         (#$increases ?M ?Q ))))


(#$isa #$Close #$Class )
(#$genls #$Close #$Move )
(#$implies 
   (#$and 
      (#$isa ?M #$Move )
      (#$isa ?P #$Portal )
      (#$isa ?Q #$ApertureQuantity ))
   (#$equiv 
      (#$instanceOf ?M #$Close )
      (#$and 
         (#$patient ?M ?P )
         (#$aperture ?P ?Q )
         (#$decreases ?M ?Q ))))


(#$isa #$HoldTogether #$Class )
(#$genls #$HoldTogether #$Hold )
(#$relationAllExists #$HoldTogether #$patient #$TangibleThing )
(#$implies 
   (#$and 
      (#$isa ?H #$HoldTogether )
      (#$isa ?TANGIBLE-THING #$TangibleThing )
      (#$isa ?D #$Dispersion )
      (#$patient ?H ?TANGIBLE-THING )
      (#$patient ?D ?TANGIBLE-THING ))
   (#$prevent ?H ?D ))


(#$isa #$HoldInPlace #$Class )
(#$genls #$HoldInPlace #$Hold )
(#$relationAllExists #$HoldInPlace #$patient #$TangibleThing )
(#$implies 
   (#$and 
      (#$isa ?H #$HoldInPlace )
      (#$isa ?TANGIBLE-THING #$TangibleThing )
      (#$isa ?M #$Move )
      (#$patient ?H ?TANGIBLE-THING )
      (#$patient ?M ?TANGIBLE-THING ))
   (#$prevent ?H ?M ))


(#$isa #$Protect #$Class )
(#$genls #$Protect #$Change )
(#$implies 
   (#$and 
      (#$isa ?P #$Protect )
      (#$isa ?TANGIBLE-THING #$TangibleThing )
      (#$patient ?P ?TANGIBLE-THING ))
   (#$patient ?P ?TANGIBLE-THING ))
(#$implies 
   (#$and 
      (#$isa ?P #$Protect )
      (#$isa ?TANGIBLE-THING #$TangibleThing )
      (#$isa ?D #$Damage )
      (#$patient ?P ?TANGIBLE-THING )
      (#$patient ?D ?TANGIBLE-THING ))
   (#$prevent ?P ?D ))


(#$isa #$Damage #$Class )
(#$genls #$Damage #$Change )
(#$relationAllExists #$Damage #$patient #$TangibleThing )
(#$implies 
   (#$and 
      (#$isa ?D #$Damage )
      (#$isa ?TANGIBLE-THING #$TangibleThing )
      (#$isa ?I #$Quantity )
      (#$integrity ?TANGIBLE-THING ?I )
      (#$patient ?D ?TANGIBLE-THING ))
   (#$decreases ?D ?I ))


(#$isa #$EclipsePeriod #$Class )


(#$isa #$ProductionPeriod #$Class )


(#$isa #$Vesicle #$Class )


(#$isa #$Endocytosis #$Class )


(#$isa #$VirusInvadesCell #$Class )


(#$isa #$Acid #$Class )


(#$isa #$VirusParticle #$Class )


(#$isa #$Penetrate #$Class )


(#$isa #$Fusion #$Class )


(#$isa #$Lysosome #$Class )


(#$isa #$Uncoat #$Class )


(#$isa #$Degrade #$Class )


(#$isa #$Cytoplasm #$Class )


(#$isa #$Cell #$Class )


(#$isa #$Control #$Class )


(#$isa #$Space #$Class )


(#$isa #$VolumeMeasurement #$Class )


(#$isa #$Container@Empty #$Class )


(#$isa #$Container@Open #$Class )


(#$isa #$Container@Closed #$Class )


(#$isa #$Enclosure #$Class )


(#$isa #$Surface #$Class )


(#$isa #$Opening #$Class )


(#$isa #$Closing #$Class )


(#$isa #$ApertureQuantity #$Class )


(#$isa #$Dispersion #$Class )


(#$isa #$Hold #$Class )


(#$isa #$Move #$Class )


(#$isa #$Change #$Class )


(#$isa #$TangibleThing #$Class )


(#$isa #$Quantity #$Class )


(#$isa #$ToBe #$Class )


(#$isa #$Affect #$Class )


(#$arity #$instrument 2 )


(#$arity #$agent 2 )


(#$arity #$goal 2 )


(#$arity #$aspect 2 )


(#$arity #$effector 2 )


(#$arity #$beneficiary 2 )


(#$arity #$affectedThing 2 )


(#$arity #$affectedSlot 2 )


(#$arity #$oldValue 2 )


(#$arity #$location 2 )


(#$arity #$increases 2 )


(#$arity #$aperture 2 )


(#$arity #$integrity 2 )


(#$arity #$patient 2 )


(#$arity #$decreases 2 )


(#$arity #$phases 2 )


(#$arity #$attach 2 )


(#$arity #$then 2 )


(#$arity #$creates 2 )


(#$arity #$contents 2 )


(#$arity #$subevents 2 )


(#$arity #$part 2 )


(#$arity #$role 2 )


(#$arity #$separates 2 )


(#$arity #$surrounds 2 )


(#$arity #$in 2 )


(#$arity #$imperviousTo 2 )


(#$arity #$theSpaceOutside 2 )


(#$arity #$place 2 )


(#$arity #$landmarks 2 )


(#$arity #$outside 2 )


(#$arity #$newValue 2 )


(#$arity #$inside 2 )


(#$arity #$donor 2 )


(#$arity #$intersects 2 )


(#$arity #$inOf 2 )


(#$arity #$source 2 )


(#$arity #$destination 2 )


(#$arity #$causes 2 )


(#$arity #$contains 2 )


(#$arity #$concurrentWith 2 )


(#$arity #$permits 2 )


(#$arity #$through 2 )


(#$arity #$prevents 2 )


(#$arity #$shape 2 )


(#$arity #$prevent 2 )