|
| (=> (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 18249-18255 | |
| (=> (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 16465-16477 | |
| (=> (and (instance ?GRAB Grabbing) (agent ?GRAB ?AGENT) (patient ?GRAB ?THING)) (and (holdsDuring (BeginFn (WhenFn ?GRAB)) (not (grasps ?AGENT ?THING))) (holdsDuring (EndFn (WhenFn ?GRAB)) (grasps ?AGENT ?THING)))) |
Merge.kif 11509-11516 | |
| (=> (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 ?HEAT Heating) (patient ?HEAT ?OBJ)) (exists (?UNIT ?QUANT1 ?QUANT2) (and (instance ?UNIT TemperatureMeasure) (holdsDuring (BeginFn (WhenFn ?HEAT)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT1)) (holdsDuring (EndFn (WhenFn ?HEAT)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT2)) (greaterThan ?QUANT2 ?QUANT1)))) |
Merge.kif 10920-10933 | |
| (=> (and (instance ?HIRE Hiring) (instance ?ORG Organization) (agent ?HIRE ?ORG) (patient ?HIRE ?PERSON)) (and (holdsDuring (BeginFn (WhenFn ?HIRE)) (not (employs ?ORG ?PERSON))) (holdsDuring (EndFn (WhenFn ?HIRE)) (employs ?ORG ?PERSON)))) |
Merge.kif 10724-10732 | |
| (=> (and (instance ?INSERT Inserting) (patient ?INSERT ?OBJ1) (destination ?INSERT ?OBJ2)) (and (holdsDuring (BeginFn (WhenFn ?INSERT)) (not (contains ?OBJ2 ?OBJ1))) (holdsDuring (EndFn (WhenFn ?INSERT)) (contains ?OBJ2 ?OBJ1)))) |
Merge.kif 11424-11431 | |
| (=> (and (instance ?JOIN Hiring) (instance ?ORG Organization) (agent ?JOIN ?ORG) (patient ?JOIN ?PERSON)) (and (holdsDuring (BeginFn (WhenFn ?JOIN)) (not (member ?PERSON ?ORG))) (holdsDuring (EndFn (WhenFn ?JOIN)) (member ?PERSON ?ORG)))) |
Merge.kif 10610-10618 | |
| (=> (and (instance ?JOIN JoiningAnOrganization) (instance ?ORG Organization) (agent ?JOIN ?PERSON) (patient ?JOIN ?ORG)) (and (holdsDuring (BeginFn (WhenFn ?JOIN)) (not (member ?PERSON ?ORG))) (holdsDuring (EndFn (WhenFn ?JOIN)) (member ?PERSON ?ORG)))) |
Merge.kif 10578-10586 | |
| (=> (and (instance ?JUDGE Judging) (agent ?JUDGE ?AGENT) (result ?JUDGE ?P)) (and (holdsDuring (BeginFn (WhenFn ?JUDGE)) (not (believes ?AGENT ?P))) (holdsDuring (EndFn (WhenFn ?JUDGE)) (believes ?AGENT ?P)))) |
Merge.kif 12092-12106 | |
| (=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (BeginFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (FutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead)))) |
Merge.kif 12305-12311 | |
| (=> (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 24116-24129 | |
| (=> (and (instance ?L Lengthening) (patient ?L ?O)) (exists (?L1 ?L2 ?U) (and (instance ?U UnitOfLength) (holdsDuring (BeginFn (WhenFn ?L)) (length ?O (MeasureFn ?L1 ?U))) (holdsDuring (EndFn (WhenFn ?L)) (length ?O (MeasureFn ?L2 ?U))) (greaterThan ?L2 ?L1)))) |
Mid-level-ontology.kif 23805-23820 | |
| (=> (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 16484-16494 | |
| (=> (and (instance ?LEARN Learning) (agent ?LEARN ?AGENT) (patient ?LEARN ?PROP)) (and (holdsDuring (BeginFn (WhenFn ?LEARN)) (not (knows ?AGENT ?PROP))) (holdsDuring (EndFn (WhenFn ?LEARN)) (knows ?AGENT ?PROP)))) |
Merge.kif 11949-11956 | |
| (=> (and (instance ?LEAVE Firing) (instance ?ORG Organization) (agent ?LEAVE ?ORG) (patient ?LEAVE ?P)) (and (holdsDuring (BeginFn (WhenFn ?LEAVE)) (member ?P ?ORG)) (holdsDuring (EndFn (WhenFn ?LEAVE)) (not (member ?P ?ORG))))) |
Merge.kif 10683-10691 | |
| (=> (and (instance ?LEAVE LeavingAnOrganization) (instance ?ORG Organization) (agent ?LEAVE ?PERSON) (patient ?LEAVE ?ORG)) (and (holdsDuring (BeginFn (WhenFn ?LEAVE)) (member ?PERSON ?ORG)) (holdsDuring (EndFn (WhenFn ?LEAVE)) (not (member ?PERSON ?ORG))))) |
Merge.kif 10651-10659 | |
| (=> (and (instance ?LIE LyingDown) (agent ?LIE ?AGENT)) (and (holdsDuring (BeginFn (WhenFn ?LIE)) (attribute ?AGENT Sitting)) (holdsDuring (EndFn (WhenFn ?LIE)) (attribute ?AGENT Prostrate)))) |
Mid-level-ontology.kif 19865-19875 | |
| (=> (and (instance ?LIST ConsecutiveTimeIntervalList) (equal ?T1 (ListOrderFn ?LIST ?N)) (equal ?T2 (ListOrderFn ?LIST (AdditionFn ?N 1)))) (equal (BeginFn ?T2) (EndFn ?T1))) |
Weather.kif 1935-1944 | |
| (=> (and (instance ?M Mounting) (agent ?M ?A) (patient ?M ?O)) (and (holdsDuring (BeginFn (WhenFn ?M)) (not (orientation ?A ?O On))) (holdsDuring (EndFn (WhenFn ?M)) (orientation ?A ?O On)))) |
Mid-level-ontology.kif 469-480 | |
| (=> (and (instance ?M OrganizationalMerging) (patient ?M ?ORG1) (patient ?M ?ORG2) (not (equal ?ORG1 ?ORG2))) (and (holdsDuring (BeginFn (WhenFn ?M)) (not (exists (?S1) (and (subOrganization ?ORG1 ?S1) (subOrganization ?ORG2 ?S1))))) (holdsDuring (EndFn (WhenFn ?M)) (exists (?S2) (and (subOrganization ?ORG1 ?S2) (subOrganization ?ORG2 ?S2)))))) |
Mid-level-ontology.kif 16305-16324 | |
| (=> (and (instance ?MELT Melting) (patient ?MELT ?OBJ)) (exists (?PART) (and (part ?PART ?OBJ) (holdsDuring (BeginFn (WhenFn ?MELT)) (attribute ?PART Solid)) (holdsDuring (EndFn (WhenFn ?MELT)) (attribute ?PART Liquid))))) |
Merge.kif 13912-13920 | |
| (=> (and (instance ?MOTION Motion) (moves ?MOTION ?OBJ) (origin ?MOTION ?PLACE)) (holdsDuring (BeginFn (WhenFn ?MOTION)) (located ?OBJ ?PLACE))) |
Merge.kif 11036-11041 | |
| (=> (and (instance ?MOVE MovingResidence) (agent ?MOVE ?AGENT)) (exists (?HOME1 ?HOME2) (and (holdsDuring (BeginFn (WhenFn ?MOVE)) (home ?AGENT ?HOME1)) (holdsDuring (EndFn (WhenFn ?MOVE)) (home ?AGENT ?HOME2)) (not (equal ?HOME1 ?HOME2))))) |
Mid-level-ontology.kif 18059-18067 | |
| (=> (and (instance ?OPEN MaximizingGraphicalWindow) (patient ?OPEN ?WINDOW) (instance ?WINDOW InterfaceWindow)) (and (holdsDuring (EndFn (WhenFn ?OPEN)) (hasGUEState ?WINDOW GUE_MaximizedWindowState)) (holdsDuring (BeginFn (WhenFn ?OPEN)) (not (hasGUEState ?WINDOW GUE_MaximizedWindowState))))) |
ComputerInput.kif 2469-2478 | |
| 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