eventLocated

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


(=>
    (attribute ?H Emphysema)
    (exists (?L ?P)
        (and
            (instance ?L Lung)
            (part ?L ?H)
            (instance ?P PathologicProcess)
            (eventLocated ?P ?L))))
Mid-level-ontology.kif 6026-6033
(=>
    (attribute ?H Goiter)
    (exists (?G ?P)
        (and
            (instance ?G ThyroidGland)
            (part ?G ?H)
            (instance ?P PathologicProcess)
            (eventLocated ?P ?G))))
Mid-level-ontology.kif 6054-6061
(=>
    (attribute ?X BarberShops)
    (hasPurpose ?X
        (exists (?HAIR ?HUMAN ?CUT ?STYLIST)
            (and
                (instance ?HAIR Hair)
                (part ?HAIR ?HUMAN)
                (instance ?HUMAN Human)
                (instance ?CUT Cutting)
                (patient ?CUT ?HAIR)
                (eventLocated ?CUT ?X)
                (agent ?CUT ?STYLIST)
                (employs ?X ?STYLIST)))))
naics.kif 11857-11869
(=>
    (baptismplace ?PERSON ?PLACE)
    (exists (?BAPTISM)
        (and
            (instance ?BAPTISM Baptizing)
            (experiencer ?BAPTISM ?PERSON)
            (eventLocated ?BAPTISM ?PLACE))))
Biography.kif 81-87
(=>
    (birthplace ?INDIV ?PLACE)
    (exists (?BIRTH)
        (and
            (instance ?BIRTH Birth)
            (experiencer ?BIRTH ?INDIV)
            (eventLocated ?BIRTH ?PLACE))))
Mid-level-ontology.kif 21962-21968
(=>
    (burialplace ?INDIV ?PLACE)
    (exists (?BURIAL)
        (and
            (instance ?BURIAL Burial)
            (patient ?BURIAL ?INDIV)
            (eventLocated ?BURIAL ?PLACE))))
Biography.kif 96-102
(=>
    (deathplace ?P ?L)
    (exists (?D)
        (and
            (instance ?D Death)
            (experiencer ?D ?P)
            (eventLocated ?D ?L))))
Mid-level-ontology.kif 22004-22010
(=>
    (environmentalProblemTypeInArea ?AREA ?PROBLEM)
    (exists (?EVENT)
        (and
            (instance ?EVENT ?PROBLEM)
            (eventLocated ?EVENT ?AREA))))
Geography.kif 2404-2409
(=>
    (eventLocated ?PROCESS ?OBJ)
    (forall (?SUB)
        (=>
            (subProcess ?SUB ?PROCESS)
            (eventLocated ?SUB ?OBJ))))
Merge.kif 3854-3859
(=>
    (eventPartlyLocated ?PROC ?OBJ)
    (exists (?SUB)
        (and
            (subProcess ?SUB ?PROC)
            (eventLocated ?SUB ?OBJ))))
Merge.kif 3829-3834
(=>
    (hinders ?X ?PROC)
    (decreasesLikelihood
        (and
            (equal
                (WhenFn ?X) ?T)
            (eventLocated ?X ?L))
        (holdsDuring ?T
            (exists (?Y)
                (and
                    (instance ?Y ?PROC)
                    (eventLocated ?Y ?L))))))
Merge.kif 4102-4112
(=>
    (hindersSubclass ?PROC1 ?PROC2)
    (forall (?TIME ?PLACE)
        (decreasesLikelihood
            (holdsDuring ?TIME
                (exists (?INST1)
                    (and
                        (instance ?INST1 ?PROC1)
                        (eventLocated ?INST1 ?PLACE))))
            (holdsDuring ?TIME
                (exists (?INST2)
                    (and
                        (instance ?INST2 ?PROC2)
                        (eventLocated ?INST2 ?PLACE)))))))
Merge.kif 4022-4035
(=>
    (holdsDuring ?TIME
        (instance ?AREA MilitaryFront))
    (exists (?BATTLE)
        (and
            (instance ?BATTLE Battle)
            (eventLocated ?BATTLE ?AREA)
            (temporalPart ?TIME ?BATTLE))))
Mid-level-ontology.kif 8692-8698
(=>
    (instance ?A CultivatedLandArea)
    (exists (?C)
        (and
            (instance ?C Agriculture)
            (eventLocated ?C ?A))))
Mid-level-ontology.kif 7874-7879
(=>
    (instance ?AUDITORIUM Auditorium)
    (hasPurpose ?AUDITORIUM
        (exists (?DEMO)
            (and
                (instance ?DEMO Demonstrating)
                (eventLocated ?DEMO ?AUDITORIUM)))))
Mid-level-ontology.kif 6992-6997
(=>
    (instance ?B Backfire)
    (exists (?E ?NC)
        (and
            (not
                (instance ?NC EngineCylinder))
            (instance ?E Engine)
            (part ?NC ?E)
            (eventLocated ?B ?NC))))
Cars.kif 1349-1357
(=>
    (instance ?B Warehouse)
    (hasPurpose ?B
        (exists (?K ?P)
            (and
                (instance ?K Keeping)
                (patient ?K ?P)
                (instance ?P Product)
                (eventLocated ?K ?B)))))
Mid-level-ontology.kif 6713-6721
(=>
    (instance ?BF BowlingFacility)
    (hasPurpose ?BF
        (exists (?B)
            (and
                (instance ?B Bowling)
                (eventLocated ?B ?BF)))))
Sports.kif 1022-1028
(=>
    (instance ?BOARD GameBoard)
    (hasPurpose ?BOARD
        (exists (?GAME)
            (and
                (instance ?GAME Game)
                (eventLocated ?GAME ?BOARD)))))
Mid-level-ontology.kif 14547-14552
(=>
    (instance ?BR BoxingRing)
    (hasPurpose ?BR
        (exists (?B)
            (and
                (instance ?B Boxing)
                (eventLocated ?B ?BR)))))
Sports.kif 478-484
(=>
    (instance ?BUILDING EntertainmentBuilding)
    (hasPurpose ?BUILDING
        (exists (?REC)
            (and
                (instance ?REC RecreationOrExercise)
                (eventLocated ?REC ?BUILDING)))))
Mid-level-ontology.kif 20263-20269
(=>
    (instance ?C Restaurant)
    (exists (?S ?F ?B)
        (and
            (instance ?S CommercialService)
            (agent ?S ?C)
            (instance ?S Selling)
            (instance ?B RestaurantBuilding)
            (eventLocated ?S ?B)
            (patient ?S ?F)
            (instance ?F
                (FoodForFn Human)))))
Mid-level-ontology.kif 6947-6957
(=>
    (instance ?COURSE EducationalCourse)
    (exists (?CLASS ?ORG)
        (and
            (realization ?CLASS ?COURSE)
            (instance ?CLASS EducationalProcess)
            (eventLocated ?CLASS ?ORG)
            (instance ?ORG EducationalOrganization))))
Mid-level-ontology.kif 14231-14238
(=>
    (instance ?COURT TennisCourt)
    (hasPurpose ?COURT
        (exists (?TENNIS)
            (and
                (instance ?TENNIS Tennis)
                (eventLocated ?TENNIS ?COURT)))))
Sports.kif 731-737
(=>
    (instance ?D DiningArea)
    (hasPurpose ?D
        (exists (?E)
            (and
                (instance ?E Eating)
                (eventLocated ?E ?D)))))
Mid-level-ontology.kif 13251-13257

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners