eventLocated

-------------------------


(=>
    (instance ?NEST Nest)
    (hasPurpose ?NEST
        (exists (?BIRTH)
            (and
                (instance ?BIRTH Birth)
                (eventLocated ?BIRTH ?NEST)))))
Mid-level-ontology.kif 5030-5036
(=>
    (instance ?OFF TakingOff)
    (exists (?REGION ?FLYING)
        (and
            (not
                (instance ?REGION AtmosphericRegion))
            (holdsDuring
                (BeginFn
                    (WhenFn ?OFF))
                (eventLocated ?OFF ?REGION))
            (subProcess ?FLYING ?OFF)
            (instance ?FLYING Flying))))
Mid-level-ontology.kif 17239-17246
(=>
    (instance ?P PlayArea)
    (hasPurpose ?P
        (exists (?K ?REC)
            (and
                (instance ?REC RecreationOrExercise)
                (eventLocated ?REC ?P)
                (instance ?K HumanChild)
                (agent ?REC ?K)))))
Dining.kif 987-995
(=>
    (instance ?P Prison)
    (hasPurpose ?P
        (exists (?C ?H ?G)
            (and
                (instance ?C Confining)
                (eventLocated ?C ?P)
                (patient ?C ?H)
                (instance ?H Human)
                (agent ?C ?G)
                (instance ?G Government)))))
Mid-level-ontology.kif 6767-6777
(=>
    (instance ?P PuttingGreen)
    (hasPurpose ?P
        (and
            (exists (?PUT)
                (and
                    (instance ?PUT GolfPutt)
                    (eventLocated ?PUT ?P)))
            (not
                (exists (?GOLF)
                    (and
                        (eventLocated ?GOLF ?P)
                        (instance ?GOLF GolfManeuver)
                        (not
                            (instance ?GOLF GolfPutt))))))))
Sports.kif 1001-1014
(=>
    (instance ?P SwimmingPool)
    (hasPurpose ?P
        (exists (?S)
            (and
                (instance ?S Swimming)
                (eventLocated ?S ?P)))))
Mid-level-ontology.kif 4726-4732
(=>
    (instance ?P VotingPoll)
    (exists (?V)
        (and
            (instance ?V Voting)
            (eventLocated ?V ?P))))
Mid-level-ontology.kif 6800-6805
(=>
    (instance ?P Wading)
    (exists (?W)
        (and
            (instance ?W WaterArea)
            (eventLocated ?P ?W))))
Mid-level-ontology.kif 536-541
(=>
    (instance ?PARK Park)
    (hasPurpose ?PARK
        (exists (?REC)
            (and
                (instance ?REC RecreationOrExercise)
                (eventLocated ?REC ?PARK)))))
Mid-level-ontology.kif 8107-8113
(=>
    (instance ?PERFORMANCE Performance)
    (exists (?STAGE)
        (and
            (instance ?STAGE PerformanceStage)
            (eventLocated ?PERFORMANCE ?STAGE))))
Mid-level-ontology.kif 15859-15864
(=>
    (instance ?PLACE RestaurantBuilding)
    (capability Cooking eventLocated ?PLACE))
Mid-level-ontology.kif 7292-7294
(=>
    (instance ?PLANT IndustrialPlant)
    (hasPurpose ?PLANT
        (exists (?MANUFACTURE)
            (and
                (instance ?MANUFACTURE Manufacture)
                (eventLocated ?MANUFACTURE ?PLANT)))))
Mid-level-ontology.kif 15697-15703
(=>
    (instance ?PROC BiologicalProcess)
    (exists (?OBJ)
        (and
            (instance ?OBJ Organism)
            (eventLocated ?PROC ?OBJ))))
Merge.kif 10158-10163
(=>
    (instance ?PROC OrganOrTissueProcess)
    (exists (?THING)
        (and
            (eventLocated ?PROC ?THING)
            (or
                (instance ?THING Organ)
                (instance ?THING Tissue)))))
Merge.kif 10197-10204
(=>
    (instance ?PROCESS
        (OperatingFn ComputerMouse))
    (exists (?SURFACE)
        (and
            (instance ?SURFACE Object)
            (attribute ?SURFACE Flat)
            (eventLocated ?PROCESS ?SURFACE))))
ComputerInput.kif 389-396
(=>
    (instance ?PROCESS Blizzard)
    (exists (?AREA ?DIST)
        (and
            (instance ?AREA GeographicArea)
            (eventLocated ?PROCESS ?AREA)
            (visibilityInMeteorology ?AREA
                (WhenFn ?PROCESS)
                (MeasureFn ?DIST Meter))
            (lessThan ?DIST 400.0))))
Weather.kif 2638-2647
(=>
    (instance ?PROCESS Blizzard)
    (holdsDuring
        (WhenFn ?PROCESS)
        (exists (?AREA ?GALE ?DURATION)
            (and
                (instance ?AREA GeographicArea)
                (eventLocated ?PROCESS ?AREA)
                (surfaceWindSpeed ?AREA
                    (MeasureFn ?GALE KnotUnitOfSpeed))
                (greaterThan ?GALE 35.0)
                (duration
                    (WhenFn ?PROCESS)
                    (MeasureFn ?DURATION HourDuration))
                (greaterThan ?DURATION 3)))))
Weather.kif 2623-2636
(=>
    (instance ?PROCESS JudicialProcess)
    (exists (?ROOM)
        (and
            (instance ?ROOM CourtRoom)
            (eventLocated ?PROCESS ?ROOM))))
Mid-level-ontology.kif 16175-16180
(=>
    (instance ?R Classroom)
    (hasPurpose ?R
        (exists (?E)
            (and
                (instance ?E EducationalProcess)
                (eventLocated ?E ?R)))))
Mid-level-ontology.kif 15604-15610
(=>
    (instance ?R DressingRoom)
    (hasPurpose ?R
        (exists (?C)
            (and
                (instance ?C ChangingClothing)
                (eventLocated ?C ?R)))))
Mid-level-ontology.kif 15519-15525
(=>
    (instance ?R WindFlow)
    (exists (?WIND)
        (and
            (instance ?WIND Wind)
            (eventLocated ?WIND ?R))))
Weather.kif 94-99
(=>
    (instance ?S Cholesterol)
    (exists (?P ?L)
        (and
            (instance ?P BiologicalProcess)
            (eventLocated ?P ?L)
            (instance ?L Liver)
            (result ?P ?S))))
Mid-level-ontology.kif 8711-8718
(=>
    (instance ?S RecordingStudio)
    (hasPurpose ?S
        (exists (?R ?P)
            (and
                (instance ?R Recording)
                (result ?P ?R)
                (eventLocated ?P ?S)))))
Music.kif 27-34
(=>
    (instance ?S Sinking)
    (exists (?W)
        (and
            (instance ?W WaterArea)
            (eventLocated ?S ?W))))
Mid-level-ontology.kif 13110-13115
(=>
    (instance ?S Sofa)
    (hasPurpose ?S
        (exists (?P1 ?P2 ?T)
            (and
                (not
                    (equal ?P1 ?P2))
                (instance ?P1 Human)
                (instance ?P2 Human)
                (holdsDuring ?T
                    (and
                        (attribute ?P1 Sitting)
                        (attribute ?P2 Sitting)
                        (eventLocated ?P1 ?S)
                        (eventLocated ?P2 ?S)))))))
Mid-level-ontology.kif 3754-3767

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