|
| (=> (holdsDuring ?TIME (instance ?AREA MilitaryFront)) (exists (?BATTLE) (and (instance ?BATTLE Battle) (eventLocated ?BATTLE ?AREA) (temporalPart ?TIME ?BATTLE)))) |
Mid-level-ontology.kif 9017-9023 | |
| (=> (instance ?A CultivatedLandArea) (exists (?C) (and (instance ?C Agriculture) (eventLocated ?C ?A)))) |
Mid-level-ontology.kif 8138-8143 | |
| (=> (instance ?AUDITORIUM Auditorium) (hasPurpose ?AUDITORIUM (exists (?DEMO) (and (instance ?DEMO Demonstrating) (eventLocated ?DEMO ?AUDITORIUM))))) |
Mid-level-ontology.kif 7324-7330 | |
| (=> (instance ?B Backfire) (exists (?E ?NC) (and (not (instance ?NC EngineCylinder)) (instance ?E Engine) (part ?NC ?E) (eventLocated ?B ?NC)))) |
Cars.kif 1354-1362 | |
| (=> (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 7053-7061 | |
| (=> (instance ?BF BowlingFacility) (hasPurpose ?BF (exists (?B) (and (instance ?B Bowling) (eventLocated ?B ?BF))))) |
Sports.kif 1171-1177 | |
| (=> (instance ?BOARD GameBoard) (hasPurpose ?BOARD (exists (?GAME) (and (instance ?GAME Game) (eventLocated ?GAME ?BOARD))))) |
Mid-level-ontology.kif 16991-16997 | |
| (=> (instance ?BR BoxingRing) (hasPurpose ?BR (exists (?B) (and (instance ?B Boxing) (eventLocated ?B ?BR))))) |
Sports.kif 592-598 | |
| (=> (instance ?BREAK BreakingWave) (exists (?SURF) (and (instance ?SURF SurfZone) (eventLocated ?BREAK ?SURF)))) |
Weather.kif 1382-1387 | |
| (=> (instance ?BUILDING EntertainmentBuilding) (hasPurpose ?BUILDING (exists (?REC) (and (instance ?REC RecreationOrExercise) (eventLocated ?REC ?BUILDING))))) |
Mid-level-ontology.kif 22393-22399 | |
| (=> (instance ?C Cinema) (hasPurpose ?C (exists (?FILM ?P) (and (instance ?P Performance) (instance ?FILM MotionPicture) (patient ?P ?FILM) (eventLocated ?P ?C))))) |
Mid-level-ontology.kif 22504-22512 | |
| (=> (instance ?C CruiseShip) (hasPurpose ?C (exists (?E ?A ?O) (and (instance ?E RecreationOrExercise) (possesses ?O ?C) (agent ?E ?A) (customer ?O ?A) (eventLocated ?E ?C))))) |
Transportation.kif 2471-2480 | |
| (=> (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 7280-7290 | |
| (=> (instance ?CAC Cactus) (modalAttribute (exists (?AREA) (and (instance ?AREA GeographicArea) (located ?CAC ?AREA) (exists (?D) (and (instance ?D Drought) (eventLocated ?D ?AREA))))) Likely)) |
Geography.kif 6302-6312 | |
| (=> (instance ?CF CoastalFlooding) (exists (?AREA) (and (instance ?AREA Seacoast) (eventLocated ?CF ?AREA)))) |
Weather.kif 1612-1617 | |
| (=> (instance ?COURSE EducationalCourse) (exists (?CLASS ?ORG) (and (realization ?CLASS ?COURSE) (instance ?CLASS EducationalProcess) (eventLocated ?CLASS ?ORG) (instance ?ORG EducationalOrganization)))) |
Mid-level-ontology.kif 16630-16637 | |
| (=> (instance ?COURT TennisCourt) (hasPurpose ?COURT (exists (?TENNIS) (and (instance ?TENNIS Tennis) (eventLocated ?TENNIS ?COURT))))) |
Sports.kif 880-886 | |
| (=> (instance ?D DiningArea) (hasPurpose ?D (exists (?E) (and (instance ?E Eating) (eventLocated ?E ?D))))) |
Mid-level-ontology.kif 15570-15576 | |
| (=> (instance ?D DrivingRange) (hasPurpose ?D (and (exists (?DRIVE) (and (instance ?DRIVE GolfDrive) (eventLocated ?DRIVE ?D))) (not (exists (?GOLF) (and (eventLocated ?GOLF ?D) (instance ?GOLF GolfManeuver) (not (instance ?GOLF GolfDrive)))))))) |
Sports.kif 980-993 | |
| (=> (instance ?DISCO DanceHall) (hasPurpose ?DISCO (exists (?DANCE ?MUSIC) (and (instance ?MUSIC MakingMusic) (instance ?DANCE Dancing) (cooccur ?MUSIC ?DANCE) (eventLocated ?MUSIC ?DISCO) (eventLocated ?DANCE ?DISCO))))) |
Mid-level-ontology.kif 26849-26858 | |
| (=> (instance ?DUSTSTORM DustStorm) (or (exists (?AREA1) (and (instance ?AREA1 GeographicArea) (climateTypeInArea ?AREA1 AridClimateZone) (eventLocated ?DUSTSTORM ?AREA1))) (exists (?AREA2) (and (instance ?AREA2 GeographicArea) (climateTypeInArea ?AREA2 SemiaridClimateZone) (eventLocated ?DUSTSTORM ?AREA2))))) |
Weather.kif 1257-1269 | |
| (=> (instance ?ECM EngineControlModule) (hasPurpose ?ECM (exists (?A ?E ?P1 ?P2) (and (instance ?A Automobile) (instance ?E Engine) (instance ?P1 Process) (instance ?P2 Process) (part ?E ?A) (part ?ECM ?A) (eventLocated ?P1 ?ECM) (eventLocated ?P2 ?E) (causes ?P1 ?P2))))) |
Cars.kif 2525-2538 | |
| (=> (instance ?ERUPTING VolcanicEruption) (exists (?VOLCANO) (and (instance ?VOLCANO Volcano) (eventLocated ?ERUPTING ?VOLCANO)))) |
Geography.kif 2436-2441 | |
| (=> (instance ?F BaseballField) (hasPurpose ?F (exists (?S) (and (instance ?S Baseball) (eventLocated ?S ?F))))) |
Sports.kif 676-682 | |
| (=> (instance ?F Fireplace) (hasPurpose ?F (exists (?C) (and (instance ?C Combustion) (eventLocated ?C ?F))))) |
Mid-level-ontology.kif 15357-15363 | |
| 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