(=>     (and         (instance ?G GainingConsciousness)         (experiencer ?G ?A))     (and         (holdsDuring             (BeginFn                 (WhenFn ?G))             (attribute ?A Unconscious))         (holdsDuring             (EndFn                 (WhenFn ?G))             (attribute ?A Awake))))	Mid-level-ontology.kif 16464-16476
(=>     (and         (instance ?G GramStaining)         (agent ?G ?H)         (patient ?G ?B))     (hasPurpose ?G         (knows ?H             (exists (?S)                 (and                     (instance ?S GramStainAttribute)                     (attribute ?B ?S))))))	Medicine.kif 5369-5379
(=>     (and         (instance ?G Grease)         (holdsDuring ?T             (measure ?G                 (MeasureFn 77 FahrenheitDegree))))     (holdsDuring ?T         (attribute ?G Solid)))	Cars.kif 2992-2998
(=>     (and         (instance ?GROUP DramaticCast)         (holdsDuring ?T1             (member ?MEM ?GROUP)))     (holdsDuring ?T1         (attribute ?MEM Actor)))	Mid-level-ontology.kif 18813-18819
(=>     (and         (instance ?GROUP MusicalGroup)         (holdsDuring ?T1             (member ?MEM ?GROUP)))     (exists (?M)         (and             (instance ?M Musician)             (holdsDuring ?T1                 (attribute ?MEM ?M)))))	Media.kif 1771-1780
(=>     (and         (instance ?H Hallucination)         (experiencer ?H ?P))     (attribute ?P PsychologicalDysfunction))	Mid-level-ontology.kif 6422-6426
(=>     (and         (instance ?H Harvesting)         (result ?H ?M)         (instance ?M Mushroom))     (attribute ?M Produce))	Food.kif 2687-2692
(=>     (and         (instance ?H Harvesting)         (result ?H ?X)         (instance ?X Herb))     (attribute ?X Produce))	Food.kif 2159-2164
(=>     (and         (instance ?HAZE AtmosphericHazing)         (instance ?PLACE GeographicArea)         (eventLocated ?HAZE ?PLACE))     (holdsDuring         (WhenFn ?HAZE)         (modalAttribute             (attribute ?PLACE BadAirQuality) Likely)))	Weather.kif 2586-2594
(=>     (and         (instance ?HEAR Hearing)         (patient ?HEAR ?OBJ))     (exists (?ATTR)         (and             (instance ?ATTR SoundAttribute)             (attribute ?OBJ ?ATTR))))	Merge.kif 13608-13615
(=>     (and         (instance ?HOLE2 HoleRegion)         (part ?HOLE1 ?HOLE2))     (attribute ?HOLE1 Fillable))	Merge.kif 9990-9994
(=>     (and         (instance ?I Impacting)         (patient ?I ?H)         (holdsDuring             (ImmediateFutureFn ?I)             (attribute ?H                 (ImpairedBodyPartFn Brain))))     (modalAttribute         (holdsDuring             (ImmediateFutureFn ?I)             (attribute ?H Concussion)) Likely))	Medicine.kif 1328-1340
(=>     (and         (instance ?I Ingesting)         (experiencer ?I ?H)         (objectTransferred ?I ?D)         (instance ?D ?DC)         (sideEffect ?DC ?DIS))     (modalAttribute         (attribute ?H ?DIS) Likely))	WMD.kif 1545-1554
(=>     (and         (instance ?I Ingesting)         (experiencer ?I ?H)         (objectTransferred ?I ?MS)         (instance ?MS MoodStabilizer)         (instance ?E ?EC)         (involvedInEvent ?E ?H)         (holdsDuring             (WhenFn ?E)             (attribute ?H ?ES))         (instance ?ES EmotionalState)         (instance ?E2 ?EC)         (involvedInEvent ?E2 ?H)         (earlier             (WhenFn ?E2)             (WhenFn ?I)))     (modalAttribute         (not             (holdsDuring ?E2                 (attribute ?H ?ES))) Unlikely))	Mid-level-ontology.kif 9773-9794
(=>     (and         (instance ?I Injecting)         (instance ?A Adalimumab)         (objectTransferred ?I ?A)         (located ?I ?BP)         (instance ?BP BodyPart)         (destination ?I ?H))     (modalAttribute         (exists (?T)             (and                 (holdsDuring ?T                     (attribute ?H                         (PainFn ?BP)))                 (during ?T                     (FutureFn                         (WhenFn ?I))))) Likely))	Medicine.kif 3628-3644
(=>     (and         (instance ?I Injuring)         (experiencer ?I ?A))     (holdsDuring         (ImmediateFutureFn             (WhenFn ?I))         (attribute ?A Injury)))	Medicine.kif 104-111
(=>     (and         (instance ?IBD AddisonsDisease)         (experiencer ?IBD ?H))     (attribute ?H         (ImpairedBodyPartFn AdrenalGland)))	Medicine.kif 2316-2321
(=>     (and         (instance ?IBD GravesDisease)         (experiencer ?IBD ?H))     (attribute ?H         (ImpairedBodyPartFn ThyroidGland)))	Medicine.kif 2329-2334
(=>     (and         (instance ?IBD HashimotosThyroiditis)         (experiencer ?IBD ?H))     (attribute ?H         (ImpairedBodyPartFn ThyroidGland)))	Medicine.kif 2375-2380
(=>     (and         (instance ?IBD InflammatoryBowelDisease)         (experiencer ?IBD ?H))     (attribute ?H         (ImpairedBodyPartFn GastroIntestinalTract)))	Medicine.kif 2282-2287
(=>     (and         (instance ?IBD UlcerativeColitis)         (experiencer ?IBD ?H))     (or         (attribute ?H             (ImpairedBodyPartFn LargeIntestine))         (attribute ?H             (ImpairedBodyPartFn Rectum))))	Medicine.kif 2301-2309
(=>     (and         (instance ?IRRIGATION Irrigating)         (patient ?IRRIGATION ?AREA)         (instance ?AREA LandArea))     (and         (holdsDuring             (ImmediatePastFn                 (WhenFn ?IRRIGATION))             (attribute ?AREA Dry))         (holdsDuring             (ImmediateFutureFn                 (WhenFn ?IRRIGATION))             (attribute ?AREA Damp))))	Geography.kif 5711-5718
(=>     (and         (instance ?IRRIGATION Irrigating)         (patient ?IRRIGATION ?AREA)         (instance ?AREA LandArea))     (hasPurpose ?IRRIGATION         (attribute ?AREA FertileTerrain)))	Geography.kif 5720-5725
(=>     (and         (instance ?J Jumping)         (agent ?J ?A))     (holdsDuring         (EndFn             (WhenFn ?J))         (not             (attribute ?A Standing))))	Mid-level-ontology.kif 548-555
(=>     (and         (instance ?KB KneelingDown)         (agent ?KB ?A))     (holdsDuring         (EndFn             (WhenFn ?KB))         (attribute ?A Kneeling)))	Mid-level-ontology.kif 19888-19895
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners