(=>     (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 4347-4360	If instances of a kind of process hinder instances of another kind of process, then for all an entity and another entity there exists a third entity such that the third entity is an instance of a kind of process and the third entity is located at the other entity holds during the entity decreases likelihood of there exists a fourth entity such that the fourth entity is an instance of another kind of process and the fourth entity is located at the other entity holds during the entity
(=>     (holdsDuring ?TIME         (instance ?AREA MilitaryFront))     (exists (?BATTLE)         (and             (instance ?BATTLE Battle)             (eventLocated ?BATTLE ?AREA)             (temporalPart ?TIME ?BATTLE))))	Mid-level-ontology.kif 10224-10230	If an object is an instance of military front holds during a time position, then there exists a process such that the process is an instance of battle and the process is located at the object and the time position is a part of the process
(=>     (instance ?A CultivatedLandArea)     (exists (?C)         (and             (instance ?C Agriculture)             (eventLocated ?C ?A))))	Mid-level-ontology.kif 9306-9311	If an object is an instance of cultivated land area, then there exists a process such that the process is an instance of agriculture and the process is located at the object
(=>     (instance ?AUDITORIUM Auditorium)     (hasPurpose ?AUDITORIUM         (exists (?DEMO)             (and                 (instance ?DEMO Demonstrating)                 (eventLocated ?DEMO ?AUDITORIUM)))))	Mid-level-ontology.kif 8486-8492	If a physical is an instance of auditorium, then the physical has the purpose there exists an entity such that the entity is an instance of demonstrating and the entity is located at the physical
(=>     (instance ?B Backfire)     (exists (?E ?NC)         (and             (not                 (instance ?NC EngineCylinder))             (instance ?E Engine)             (part ?NC ?E)             (eventLocated ?B ?NC))))	Cars.kif 1354-1362	If a process is an instance of backfire, then there exist an object and another object such that the other object is not an instance of engine cylinder and the object is an instance of engine and the other object is a part of the object and the process is located at the other object
(=>     (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 8215-8223	If a physical is an instance of warehouse, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of keeping and the other entity is a patient of the entity and the other entity is an instance of product and the entity is located at the physical
(=>     (instance ?BF BowlingFacility)     (hasPurpose ?BF         (exists (?B)             (and                 (instance ?B Bowling)                 (eventLocated ?B ?BF)))))	Sports.kif 1184-1190	If a physical is an instance of bowling facility, then the physical has the purpose there exists an entity such that the entity is an instance of bowling and the entity is located at the physical
(=>     (instance ?BOARD GameBoard)     (hasPurpose ?BOARD         (exists (?GAME)             (and                 (instance ?GAME Game)                 (eventLocated ?GAME ?BOARD)))))	Mid-level-ontology.kif 18379-18385	If a physical is an instance of game board, then the physical has the purpose there exists an entity such that the entity is an instance of game and the entity is located at the physical
(=>     (instance ?BR BoxingRing)     (hasPurpose ?BR         (exists (?B)             (and                 (instance ?B Boxing)                 (eventLocated ?B ?BR)))))	Sports.kif 604-610	If a physical is an instance of boxing ring, then the physical has the purpose there exists an entity such that the entity is an instance of boxing and the entity is located at the physical
(=>     (instance ?BREAK BreakingWave)     (exists (?SURF)         (and             (instance ?SURF SurfZone)             (eventLocated ?BREAK ?SURF))))	Weather.kif 2073-2078	If a process is an instance of breaking wave, then there exists an object such that the object is an instance of surf zone and the process is located at the object
(=>     (instance ?BUILDING EntertainmentBuilding)     (hasPurpose ?BUILDING         (exists (?REC)             (and                 (instance ?REC RecreationOrExercise)                 (eventLocated ?REC ?BUILDING)))))	Mid-level-ontology.kif 24035-24041	If a physical is an instance of entertainment building, then the physical has the purpose there exists an entity such that the entity is an instance of recreation or exercise and the entity is located at the physical
(=>     (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 24146-24154	If a physical is an instance of cinema, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of performance and the entity is an instance of motion picture and the entity is a patient of the other entity and the other entity is located at the physical
(=>     (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 2665-2674	If a physical is an instance of cruise ship, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of recreation or exercise and the third entity possesses the physical and the other entity is an agent of the entity and the other entity is a customer of the third entity and the entity is located at the physical
(=>     (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 8442-8452	If an agent is an instance of restaurant, then there exist a process, an entity and an object such that the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of selling and the object is an instance of restaurant building and the process is located at the object and the entity is a patient of the process and the entity is an instance of food for human
(=>     (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 6572-6582	If an entity is an instance of cactus, then the statement there exists another entity such that the other entity is an instance of geographic area and the entity is located at the other entity and there exists a third entity such that the third entity is an instance of drought and the third entity is located at the other entity has the modal force of likely
(=>     (instance ?CF CoastalFlooding)     (exists (?AREA)         (and             (instance ?AREA Seacoast)             (eventLocated ?CF ?AREA))))	Weather.kif 2301-2306	If a process is an instance of coastal flooding, then there exists an object such that the object is an instance of seacoast and the process is located at the object
(=>     (instance ?COURSE EducationalCourse)     (exists (?CLASS ?ORG)         (and             (realization ?CLASS ?COURSE)             (instance ?CLASS EducationalProcess)             (eventLocated ?CLASS ?ORG)             (instance ?ORG EducationalOrganization))))	Mid-level-ontology.kif 18018-18025	If a proposition is an instance of educational course, then there exist a process and an object such that the process expresses the content of the proposition and the process is an instance of educational process and the process is located at the object and the object is an instance of educational organization
(=>     (instance ?COURT TennisCourt)     (hasPurpose ?COURT         (exists (?TENNIS)             (and                 (instance ?TENNIS Tennis)                 (eventLocated ?TENNIS ?COURT)))))	Sports.kif 892-898	If a physical is an instance of tennis court, then the physical has the purpose there exists an entity such that the entity is an instance of tennis and the entity is located at the physical
(=>     (instance ?D DiningArea)     (hasPurpose ?D         (exists (?E)             (and                 (instance ?E Eating)                 (eventLocated ?E ?D)))))	Mid-level-ontology.kif 16944-16950	If a physical is an instance of dining area, then the physical has the purpose there exists an entity such that the entity is an instance of eating and the entity is located at the physical
(=>     (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 993-1006	If a physical is an instance of driving range, then the physical has the purpose there exists the physicalRIVE such that the physicalRIVE is an instance of golf drive and the physicalRIVE is located at the physical and there doesn't exist another entity such that the other entity is located at the physical and the other entity is an instance of golf maneuver and the other entity is not an instance of golf drive
(=>     (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 28760-28769	If a physical is an instance of dance hall, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of making music and the entity is an instance of dancing and the other entity occurs at the same time as the entity and the other entity is located at the physical and the entity is located at the physical
(=>     (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 1948-1960	If a process is an instance of dust storm, then there exists a geographic area such that the geographic area is an instance of geographic area and arid climate zone is a climate type in area of the geographic area and the process is located at the geographic area or there exists another geographic area such that the other geographic area is an instance of geographic area and semiarid climate zone is a climate type in area of the other geographic area and the process is located at the other geographic area
(=>     (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 2503-2516	If a physical is an instance of engine control module, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of automobile and the other entity is an instance of engine and the third entity is an instance of process and the fourth entity is an instance of process and the other entity is a part of the entity and the physical is a part of the entity and the third entity is located at the physical and the fourth entity is located at the other entity and the third entity causes the fourth entity
(=>     (instance ?ERUPTING VolcanicEruption)     (exists (?VOLCANO)         (and             (instance ?VOLCANO Volcano)             (eventLocated ?ERUPTING ?VOLCANO))))	Geography.kif 2561-2566	If a process is an instance of volcanic eruption, then there exists an object such that the object is an instance of volcano and the process is located at the object
(=>     (instance ?F BaseballField)     (hasPurpose ?F         (exists (?S)             (and                 (instance ?S Baseball)                 (eventLocated ?S ?F)))))	Sports.kif 688-694	If a physical is an instance of baseball field, then the physical has the purpose there exists an entity such that the entity is an instance of baseball and the entity is located at the physical
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