|
| (=> (and (instance ?ELT ExperiencingDiscomfortInTheStomach) (experiencer ?ELT ?A)) (exists (?P) (and (instance ?P Perception) (during (WhenFn ?P) (WhenFn ?PAIN)) (instance ?PAIN Pain) (experiencer ?PAIN ?A) (subProcess ?P ?ELT) (agent ?P ?A) (patient ?P ?T) (instance ?T Stomach) (part ?T ?A)))) |
emotion.kif 1591-1605 | |
| (=> (and (instance ?ELT ExperiencingHeatInCheeksOrChest) (experiencer ?ELT ?A)) (exists (?P) (and (instance ?P Perception) (subProcess ?P ?ELT) (agent ?P ?A) (patient ?P ?T) (or (instance ?T Torso) (instance ?T Face)) (part ?T ?A)))) |
emotion.kif 1746-1759 | |
| (=> (and (instance ?EV Evacuation) (agent ?EV ?A) (experiencer ?EV ?P)) (exists (?C ?CA) (and (instance ?C Classifying) (subProcess ?C ?EV) (experiencer ?C ?P) (or (subOrganization ?CA ?A) (member ?CA ?A) (equal ?CA ?A)) (agent ?C ?CA)))) |
MilitaryProcesses.kif 2608-2622 | |
| (=> (and (instance ?EV Evacuation) (agent ?EV ?MIL) (instance ?MIL MilitaryOrganization) (experiencer ?EV ?P)) (holdsDuring (ImmediateFutureFn (WhenFn ?EV)) (attribute ?P Evacuee))) |
MilitaryPersons.kif 133-140 | |
| (=> (and (instance ?EV Evacuation) (experiencer ?EV ?H)) (instance ?H Human)) |
MilitaryProcesses.kif 2533-2537 | |
| (=> (and (instance ?EV Evacuation) (experiencer ?EV ?P) (agent ?EV ?A)) (exists (?M ?MA) (and (instance ?M TherapeuticProcess) (subProcess ?M ?EV) (or (subOrganization ?MA ?A) (member ?MA ?A) (equal ?MA ?A)) (agent ?M ?MA) (experiencer ?M ?P)))) |
MilitaryProcesses.kif 2590-2604 | |
| (=> (and (instance ?EVP Process) (instance ?AGENT Agent) (instance ?EXP Experimenting) (treatedUser ?AGENT ?EXP) (experimentalVariableProcess ?EXP ?EVP) (experiencer ?PROC ?AGENT) (experiencer ?EVP ?AGENT) (exclusiveEvent ?EXP ?PROC)) (exists (?EXPERIMENTER) (and (instance ?EXPERIMENTER Agent) (experimenter ?EXP ?EXPERIMENTER) (believes ?EXPERIMENTER (modalAttribute (causes ?EVP ?PROC) Likely))))) |
UXExperimentalTerms.kif 4561-4578 | |
| (=> (and (instance ?F Forgetting) (experiencer ?F ?A)) (exists (?P) (and (holdsDuring (ImmediateFutureFn (WhenFn ?F)) (not (knows ?A ?P))) (holdsDuring (ImmediatePastFn (WhenFn ?F)) (knows ?A ?P))))) |
ComputingBrands.kif 4414-4424 | |
| (=> (and (instance ?FALL FallingAsleep) (experiencer ?FALL ?AGENT)) (exists (?START ?FINISH) (and (starts ?START (WhenFn ?FALL)) (finishes ?FINISH (WhenFn ?FALL)) (holdsDuring ?START (attribute ?AGENT Awake)) (holdsDuring ?FINISH (attribute ?AGENT Asleep))))) |
Mid-level-ontology.kif 15801-15810 | |
| (=> (and (instance ?FID ForeignInternalDefense) (agent ?FID ?MIL) (experiencer ?FID ?HN)) (hasPurpose ?FID (exists (?ORG ?LEARNING) (and (instance ?LEARNING Learning) (experiencer ?LEARNING ?ORG) (agent ?LEARNING ?MIL) (or (militaryOfArea ?ORG ?HN) (and (instance ?ORG MilitaryForce) (located ?ORG ?HN))))))) |
MilitaryProcesses.kif 1960-1975 | |
| (=> (and (instance ?FRIGHTEN Frightening) (experiencer ?FRIGHTEN ?AGENT)) (and (holdsDuring (BeginFn (WhenFn ?FRIGHTEN)) (not (attribute ?AGENT Anxiety))) (holdsDuring (EndFn (WhenFn ?FRIGHTEN)) (attribute ?AGENT Anxiety)))) |
Mid-level-ontology.kif 17635-17641 | |
| (=> (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 15885-15897 | |
| (=> (and (instance ?H Hallucination) (experiencer ?H ?P)) (attribute ?P PsychologicalDysfunction)) |
Mid-level-ontology.kif 6092-6096 | |
| (=> (and (instance ?H Hallucination) (experiencer ?H ?P)) (exists (?PER) (and (instance ?PER Perception) (experiencer ?PER ?P) (causes ?H ?PER) (containsInformation ?PER ?PROP) (truth ?PROP False)))) |
Mid-level-ontology.kif 6098-6108 | |
| (=> (and (instance ?I Infecting) (experiencer ?I ?H)) (exists (?T ?R ?O) (and (instance ?T Translocation) (moves ?T ?O) (instance ?O Organism) (instance ?R Replication) (experiencer ?R ?O) (subProcess ?T ?I) (subProcess ?R ?I)))) |
Mid-level-ontology.kif 5529-5541 | |
| (=> (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 1554-1566 | |
| (=> (and (instance ?I Ingesting) (experiencer ?I ?H) (objectTransferred ?I ?D) (instance ?D ?DC) (sideEffect ?DC ?DIS)) (modalAttribute (attribute ?H ?DIS) Likely)) |
WMD.kif 1536-1545 | |
| (=> (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 9342-9363 | |
| (=> (and (instance ?I Insomnia) (experiencer ?I ?H)) (exists (?S) (and (instance ?S Sleeping) (experiencer ?S ?H) (duration (WhenFn ?S) ?D) (desires ?H (and (duration (WhenFn ?S) ?D2) (greaterThan ?D2 ?D)))))) |
Mid-level-ontology.kif 15867-15879 | |
| (=> (and (instance ?I Itching) (located ?I ?P) (part ?P ?H) (experiencer ?I ?H)) (desires ?H (exists (?S) (and (instance ?S Scratching) (during (WhenFn ?S) (WhenFn ?I)) (located ?S ?P))))) |
Mid-level-ontology.kif 5409-5420 | |
| (=> (and (instance ?L LayingEggs) (experiencer ?L ?A)) (and (instance ?A Animal) (attribute ?A Female))) |
Mid-level-ontology.kif 23546-23552 | |
| (=> (and (instance ?L LayingEggs) (experiencer ?L ?A)) (exists (?E) (and (instance ?E Egg) (patient ?L ?E) (holdsDuring (BeginFn (WhenFn ?L)) (part ?E ?A)) (holdsDuring (EndFn (WhenFn ?L)) (not (part ?E ?A)))))) |
Mid-level-ontology.kif 23531-23544 | |
| (=> (and (instance ?L LosingConsciousness) (experiencer ?L ?A)) (and (holdsDuring (BeginFn (WhenFn ?L)) (attribute ?A Awake)) (holdsDuring (EndFn (WhenFn ?L)) (attribute ?A Unconscious)))) |
Mid-level-ontology.kif 15904-15914 | |
| (=> (and (instance ?M Menstruation) (experiencer ?M ?F)) (and (attribute ?F Female) (not (attribute ?F Menopausal)))) |
Mid-level-ontology.kif 23320-23327 | |
| (=> (and (instance ?MR MusclesRelaxing) (experiencer ?MR ?A)) (not (exists (?MT) (and (overlapsTemporally ?MT ?MR) (instance ?MT MusclesBecomingTense) (experiencer ?MT ?A))))) |
emotion.kif 1472-1481 | |
| 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