|
| (=> (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 | |
| (=> (and (instance ?OPEN MinimizingGraphicalWindow) (patient ?OPEN ?WINDOW) (instance ?WINDOW InterfaceWindow)) (and (holdsDuring (EndFn (WhenFn ?OPEN)) (hasGUEState ?WINDOW GUE_MinimizedState)) (holdsDuring (BeginFn (WhenFn ?OPEN)) (not (hasGUEState ?WINDOW GUE_MinimizedState))))) |
ComputerInput.kif 2451-2460 | |
| (=> (and (instance ?OPEN ReopeningGraphicalWindow) (patient ?OPEN ?WINDOW) (instance ?WINDOW InterfaceWindow)) (and (holdsDuring (BeginFn (WhenFn ?OPEN)) (hasGUEState ?WINDOW GUE_MinimizedState)) (holdsDuring (EndFn (WhenFn ?OPEN)) (not (hasGUEState ?WINDOW GUE_MinimizedState))))) |
ComputerInput.kif 2389-2398 | |
| (=> (and (instance ?P Pulling) (origin ?P ?O) (agent ?P ?A) (holdsDuring (BeginFn ?P) (located ?A ?ALOC)) (destination ?P ?D)) (holdsDuring (ImmediateFutureFn (BeginFn ?P)) (exists (?LARGER ?U ?SMALLER) (and (distance ?ALOC ?D (MeasureFn ?SMALLER ?U)) (distance ?ALOC ?O (MeasureFn ?LARGER ?U)) (greaterThan ?LARGER ?SMALLER))))) |
Mid-level-ontology.kif 19189-19207 | |
| (=> (and (instance ?P Pushing) (origin ?P ?O) (agent ?P ?A) (holdsDuring (BeginFn ?P) (located ?A ?ALOC)) (destination ?P ?D)) (holdsDuring (ImmediateFutureFn (BeginFn ?P)) (exists (?LARGER ?U ?SMALLER) (and (distance ?ALOC ?D (MeasureFn ?SMALLER ?U)) (distance ?ALOC ?O (MeasureFn ?LARGER ?U)) (greaterThan ?LARGER ?SMALLER))))) |
Mid-level-ontology.kif 19167-19185 | |
| (=> (and (instance ?P TurningOffDevice) (patient ?P ?D)) (and (holdsDuring (BeginFn (WhenFn ?P)) (attribute ?D DeviceOn)) (holdsDuring (EndFn (WhenFn ?P)) (attribute ?D DeviceOff)))) |
Mid-level-ontology.kif 1064-1074 | |
| (=> (and (instance ?P TurningOnDevice) (patient ?P ?D)) (and (holdsDuring (BeginFn (WhenFn ?P)) (attribute ?D DeviceOff)) (holdsDuring (EndFn (WhenFn ?P)) (attribute ?D DeviceOn)))) |
Mid-level-ontology.kif 1088-1098 | |
| (=> (and (instance ?PASS PassingABill) (patient ?PASS ?TEXT)) (and (holdsDuring (BeginFn (WhenFn ?PASS)) (attribute ?TEXT LegislativeBill)) (holdsDuring (EndFn (WhenFn ?PASS)) (attribute ?TEXT Law)))) |
Mid-level-ontology.kif 15197-15203 | |
| (=> (and (instance ?PLAN Plan) (instance ?PROC Process) (represents ?PLAN ?PROC)) (exists (?PLANNING ?CBO) (and (instance ?PLANNING Planning) (instance ?CBO ContentBearingPhysical) (containsInformation ?CBO ?PLAN) (result ?PLANNING ?CBO) (earlier (BeginFn (WhenFn ?PLANNING)) (BeginFn (WhenFn ?PROC))) (earlier (EndFn (WhenFn ?PLANNING)) (EndFn (WhenFn ?PROC)))))) |
Military.kif 32-44 | |
| (=> (and (instance ?POINT1 TimePoint) (instance ?POINT2 TimePoint) (instance ?INTERVAL TimeInterval) (equal (TimeIntervalFn ?POINT1 ?POINT2) ?INTERVAL)) (and (equal (BeginFn ?INTERVAL) ?POINT1) (equal (EndFn ?INTERVAL) ?POINT2))) |
Merge.kif 8533-8541 | |
| (=> (and (instance ?PROCESS StateChange) (patient ?PROCESS ?OBJ)) (exists (?PART ?STATE1 ?STATE2) (and (part ?PART ?OBJ) (instance ?STATE1 PhysicalState) (instance ?STATE2 PhysicalState) (not (equal ?STATE1 ?STATE2)) (holdsDuring (BeginFn (WhenFn ?PROCESS)) (attribute ?PART ?STATE1)) (holdsDuring (EndFn (WhenFn ?PROCESS)) (attribute ?PART ?STATE2))))) |
Merge.kif 13910-13921 | |
| (=> (and (instance ?PUT Putting) (destination ?PUT ?PLACE) (patient ?PUT ?OBJ)) (and (holdsDuring (BeginFn (WhenFn ?PUT)) (not (located ?OBJ ?PLACE))) (holdsDuring (EndFn (WhenFn ?PUT)) (located ?OBJ ?PLACE)))) |
Merge.kif 11555-11562 | |
| (=> (and (instance ?R PoliticalRevolution) (patient ?R ?A)) (exists (?GOV1 ?GOV2) (and (holdsDuring (BeginFn (WhenFn ?R)) (equal ?GOV1 (GovernmentFn ?A))) (holdsDuring (EndFn (WhenFn ?R)) (equal ?GOV2 (GovernmentFn ?A))) (not (equal ?GOV1 ?GOV2))))) |
Mid-level-ontology.kif 15259-15271 | |
| (=> (and (instance ?R RecoveringFromIllness) (experiencer ?R ?A)) (exists (?D) (and (instance ?D DiseaseOrSyndrome) (holdsDuring (BeginFn (WhenFn ?D)) (attribute ?A ?D)) (holdsDuring (EndFn (WhenFn ?D)) (not (attribute ?A ?D)))))) |
Mid-level-ontology.kif 7189-7202 | |
| (=> (and (instance ?R Rotating) (patient ?R ?A)) (exists (?L) (and (holdsDuring (BeginFn (WhenFn ?R)) (located ?A ?L)) (holdsDuring (EndFn (WhenFn ?R)) (located ?A ?L))))) |
Mid-level-ontology.kif 18996-19007 | |
| (=> (and (instance ?RELEASE Releasing) (agent ?GRAB ?AGENT) (patient ?GRAB ?THING)) (and (holdsDuring (BeginFn (WhenFn ?RELEASE)) (grasps ?AGENT ?THING)) (holdsDuring (EndFn (WhenFn ?RELEASE)) (not (grasps ?AGENT ?THING))))) |
Merge.kif 11674-11681 | |
| (=> (and (instance ?RELEASE Ungrasping) (agent ?GRAB ?AGENT) (patient ?GRAB ?THING)) (and (holdsDuring (BeginFn (WhenFn ?RELEASE)) (grasps ?AGENT ?THING)) (holdsDuring (EndFn (WhenFn ?RELEASE)) (not (grasps ?AGENT ?THING))))) |
Merge.kif 12601-12608 | |
| (=> (and (instance ?REMOVE Removing) (origin ?REMOVE ?PLACE) (patient ?REMOVE ?OBJ)) (and (holdsDuring (BeginFn (WhenFn ?REMOVE)) (located ?OBJ ?PLACE)) (holdsDuring (EndFn (WhenFn ?REMOVE)) (not (located ?OBJ ?PLACE))))) |
Merge.kif 11534-11541 | |
| (=> (and (instance ?REMOVE RemovingClothing) (agent ?REMOVE ?AGENT) (patient ?REMOVE ?CLOTHING)) (and (holdsDuring (BeginFn (WhenFn ?REMOVE)) (wears ?AGENT ?CLOTHING)) (holdsDuring (EndFn (WhenFn ?REMOVE)) (not (wears ?AGENT ?CLOTHING))))) |
Mid-level-ontology.kif 6475-6486 | |
| (=> (and (instance ?S Saving) (patient ?S ?O) (agent ?S ?A)) (exists (?Q1 ?Q2 ?U) (and (instance ?U UnitOfCurrency) (holdsDuring (BeginFn (WhenFn ?S)) (monetaryValue ?O (MeasureFn ?Q1 ?U))) (holdsDuring (EndFn (WhenFn ?S)) (monetaryValue ?O (MeasureFn ?Q2 ?U))) (possesses ?A ?O) (lessThan ?Q1 ?Q2)))) |
Mid-level-ontology.kif 25474-25491 | |
| (=> (and (instance ?S Shooting) (instrument ?S ?G) (instance ?G Gun)) (exists (?C ?I ?B) (and (instance ?C GunChamber) (part ?C ?G) (instance ?I Inserting) (instance ?B BulletCartridge) (destination ?I ?C) (objectTransferred ?I ?B) (before (EndFn (WhenFn ?I)) (BeginFn (WhenFn ?S)))))) |
Mid-level-ontology.kif 1337-1352 | |
| (=> (and (instance ?S Shortening) (patient ?S ?O)) (exists (?L1 ?L2 ?U) (and (instance ?U UnitOfLength) (holdsDuring (BeginFn (WhenFn ?S)) (length ?O (MeasureFn ?L1 ?U))) (holdsDuring (EndFn (WhenFn ?S)) (length ?O (MeasureFn ?L2 ?U))) (greaterThan ?L1 ?L2)))) |
Mid-level-ontology.kif 18635-18650 | |
| (=> (and (instance ?S Somersaulting) (agent ?S ?A)) (and (holdsDuring (BeginFn (WhenFn ?S)) (attribute ?A Sitting)) (holdsDuring (EndFn (WhenFn ?S)) (attribute ?A Sitting)))) |
Mid-level-ontology.kif 555-565 | |
| (=> (and (instance ?SELECT SelectingActiveArea) (patient ?SELECT ?ELEMENT) (instance ?ELEMENT GUIActiveArea)) (holdsDuring (BeginFn ?SELECT) (not (hasGUEState ?ELEMENT GUE_SelectedState)))) |
ComputerInput.kif 2203-2210 | |
| (=> (and (instance ?SIT SittingDown) (agent ?SIT ?AGENT)) (and (holdsDuring (BeginFn (WhenFn ?SIT)) (attribute ?AGENT Standing)) (holdsDuring (EndFn (WhenFn ?SIT)) (attribute ?AGENT Sitting)))) |
Mid-level-ontology.kif 21497-21507 | |
| 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