(=>     (and         (instance ?AVU AngryVoiceUtterance)         (agent ?AVU ?A))     (modalAttribute         (causesProposition             (exists (?ANG)                 (and                     (instance ?ANG Anger)                     (experiencer ?ANG ?A)))             (and                 (instance ?AVU AngryVoiceUtterance)                 (agent ?AVU ?A))) Likely))	emotion.kif 1945-1958
(=>     (and         (instance ?B Buying)         (patient ?B ?ITEM)         (origin ?B ?AGENT)         (or             (publishedPrice ?ENT ?PRICE ?AGENT ?PS)             (unitPrice ?ENT ?QUANT ?AGENT ?PS))         (subclass ?ENT Physical)         (immediateInstance ?ITEM ?ENT)         (validPaymentType ?PS ?PAY))     (modalAttribute         (exists (?PAYMENT)             (and                 (instance ?PAYMENT ?PAY)                 (subProcess ?PAYMENT ?B))) Likely))	Catalog.kif 337-352
(=>     (and         (instance ?BS1 BodySegment)         (instance ?BS2 BodySegment)         (connected ?BS1 ?BS2)         (instance ?BM BodyMotion)         (moves ?BM ?BS1))     (modalAttribute         (not             (exists (?BM2)                 (and                     (instance ?BM2 BodyMotion)                     (moves ?BM2 ?BS2)                     (during                         (WhenFn ?BM2)                         (WhenFn ?BM))))) Possibility))	Mid-level-ontology.kif 10577-10593
(=>     (and         (instance ?C Carabiner)         (holdsDuring ?T             (attribute ?C DeviceClosed)))     (holdsDuring ?T         (modalAttribute             (exists (?R)                 (and                     (instance ?R ClimbingRope)                     (contains ?C ?R))) Possibility)))	Mid-level-ontology.kif 30815-30826
(=>     (and         (instance ?CA COVIDAntibody)         (holdsDuring ?T             (and                 (not                     (attribute ?H Covid19))                 (part ?CA ?H))))     (holdsDuring         (ImmediateFutureFn ?T)         (modalAttribute             (attribute ?H Covid19) Unlikely)))	Medicine.kif 2784-2796
(=>     (and         (instance ?COMMIT Committing)         (patient ?COMMIT ?FORMULA)         (instance ?FORMULA Formula))     (modalAttribute ?FORMULA Promise))	Merge.kif 13226-13231
(=>     (and         (instance ?D Antidiuretic)         (instance ?I Ingesting)         (agent ?I ?H)         (moves ?I ?D)         (instance ?U1 Urination)         (result ?U1 ?P1)         (agent ?U1 ?H)         (instance ?U2 Urination)         (not             (equal ?U1 ?U2))         (result ?U2 ?P2)         (agent ?U2 ?H)         (earlier ?U1 ?I)         (earlier ?I ?U2)         (instance ?V UnitOfVolume)         (measure ?U1             (MeasureFn ?N1 ?V))         (measure ?U2             (MeasureFn ?N2 ?V)))     (modalAttribute         (greaterThan ?N1 ?N2) Likely))	Mid-level-ontology.kif 10055-10078
(=>     (and         (instance ?D Diuretic)         (instance ?I Ingesting)         (agent ?I ?H)         (moves ?I ?D)         (instance ?U1 Urination)         (result ?U1 ?P1)         (agent ?U1 ?H)         (instance ?U2 Urination)         (result ?U2 ?P2)         (agent ?U2 ?H)         (earlier ?U1 ?I)         (earlier ?I ?U2)         (instance ?V UnitOfVolume)         (measure ?U1             (MeasureFn ?N1 ?V))         (measure ?U2             (MeasureFn ?N2 ?V)))     (modalAttribute         (greaterThan ?N2 ?N1) Likely))	Mid-level-ontology.kif 10025-10046
(=>     (and         (instance ?DUST DustStorm)         (instance ?PLACE GeographicArea)         (eventLocated ?DUST ?PLACE))     (holdsDuring         (WhenFn ?DUST)         (modalAttribute             (attribute ?PLACE BadAirQuality) Likely)))	Weather.kif 2600-2608
(=>     (and         (instance ?EKG Electrocardiogram)         (attribute ?EKG EKGAbnormal)         (refers ?EKG ?H)         (part ?H ?P)         (instance ?H Heart))     (modalAttribute         (attribute ?P             (ImpairedBodyPartFn Heart)) Likely))	Medicine.kif 1882-1891
(=>     (and         (instance ?EKG Electrocardiogram)         (attribute ?EKG EKGNormal)         (refers ?EKG ?H)         (part ?H ?P)         (instance ?H Heart))     (modalAttribute         (not             (attribute ?P                 (ImpairedBodyPartFn Heart))) Likely))	Medicine.kif 1865-1875
(=>     (and         (instance ?EVP Process)         (instance ?AGENT AutonomousAgent)         (instance ?EXP Experimenting)         (treatedUser ?AGENT ?EXP)         (experimentalVariableProcess ?EXP ?EVP)         (experiencer ?PROC ?AGENT)         (experiencer ?EVP ?AGENT)         (exclusiveEvent ?EXP ?PROC))     (exists (?EXPERIMENTER)         (and             (instance ?EXPERIMENTER AutonomousAgent)             (experimenter ?EXP ?EXPERIMENTER)             (believes ?EXPERIMENTER                 (modalAttribute                     (causes ?EVP ?PROC) Likely)))))	UXExperimentalTerms.kif 4357-4374
(=>     (and         (instance ?F Flooding)         (instance ?L LandArea)         (eventLocated ?F ?L)         (instance ?T TimePoint)         (before ?T             (WhenFn ?F)))     (modalAttribute         (holdsDuring ?T             (instance ?L SubmergedLandArea)) Unlikely))	Weather.kif 1598-1608
(=>     (and         (instance ?H Hotline)         (telephoneNumber ?H ?O)         (instance ?O Organization))     (hasPurpose ?H         (exists (?T)             (and                 (instance ?T Telephoning)                 (destination ?T ?O)                 (modalAttribute                     (exists (?C)                         (and                             (instance ?C Communication)                             (instrument ?C ?H)                             (equal                                 (BeginFn                                     (WhenFn ?C))                                 (BeginFn                                     (ImmediateFutureFn                                         (WhenFn ?T)))))) Likely)))))	Mid-level-ontology.kif 25093-25114
(=>     (and         (instance ?HAZE AtmosphericHazing)         (instance ?PLACE GeographicArea)         (eventLocated ?HAZE ?PLACE))     (holdsDuring         (WhenFn ?HAZE)         (modalAttribute             (attribute ?PLACE BadAirQuality) Likely)))	Weather.kif 2590-2598
(=>     (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)         (pathologicSideEffect ?DC ?DIS))     (modalAttribute         (exists (?P)             (and                 (instance ?P ?DIS)                 (experiencer ?H ?P))) Likely))	WMD.kif 1563-1575
(=>     (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 9774-9795
(=>     (and         (instance ?I Ingesting)         (objectTransferred ?I ?H)         (instance ?H Hallucinogen)         (destination ?I ?P))     (modalAttribute         (exists (?HAL)             (and                 (instance ?HAL Hallucination)                 (experiencer ?HAL ?P))) Likely))	TransnationalIssues.kif 88-99
(=>     (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 Intestine)         (instance ?A Animal)         (part ?I ?A))     (modalAttribute         (exists (?E)             (and                 (instance ?E EscherichiaColi)                 (contains ?I ?E))) Likely))	Medicine.kif 5490-5500
(=>     (and         (instance ?L LeafSpring)         (part ?L ?RV)         (instance ?RV RoadVehicle))     (modalAttribute         (exists (?L2)             (and                 (instance ?L2 LeafSpring)                 (part ?L2 ?RV)                 (not                     (equal ?L ?L2))                 (meetsSpatially ?L ?L2))) Likely))	Cars.kif 902-915
(=>     (and         (instance ?L Lupus)         (experiencer ?L ?H))     (modalAttribute         (exists (?SR)             (and                 (instance ?SR SkinRash)                 (experiencer ?SR ?H))) Likely))	Medicine.kif 2265-2274
(=>     (and         (instance ?LD LiquidDrop)         (surface ?S ?LD))     (modalAttribute         (exists (?SS ?LL)             (and                 (instance ?LL Substance)                 (attribute ?LL Liquid)                 (not                     (equal ?LD ?LL))                 (surface ?SS ?LL)                 (meetsSpatially ?S ?SS))) Unlikely))	Geography.kif 7497-7509
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