(=>     (and         (instance ?TSC TwoStrokeCompression)         (eventLocated ?TSC ?E)         (instance ?E TwoStrokeEngine))     (exists (?C)         (and             (instance ?C Explosion)             (during ?C ?TSC)             (eventLocated ?C ?E))))	Cars.kif 491-500	If a time interval is an instance of two stroke compression and the time interval is located at an object and the object is an instance of two stroke engine, then there exists another time interval such that the other time interval is an instance of explosion and the other time interval takes place during the time interval and the other time interval is located at the object
(=>     (and         (instance ?WW WaterWave)         (waveHeight ?WW ?WH))     (exists (?LIST ?WA ?U ?SWH)         (and             (inList ?WH ?LIST)             (instance ?WA WaterArea)             (eventLocated ?WW ?WA)             (instance ?U UnitOfLength)             (significantWaveHeight ?WA                 (WhenFn ?WW)                 (MeasureFn ?SWH ?U))             (equal ?SWH                 (MultiplicationFn 4.0                     (StandardDeviationFn ?LIST))))))	Weather.kif 2048-2063	If a water wave is an instance of water wave and The waveHeight of the water wave a length measure., then there exist a list, a water area,, , an unit of measure and a real number such that the length measure is a member of the list and the water area is an instance of water area and the water wave is located at the water area and the unit of measure is an instance of unit of length and significantWaveHeight in the water area during the time of existence of the water wave is the real number the unit of measure(s). and the real number is equal to 4.0 and The StandardDeviationFn of the list
(=>     (and         (instance ?X BreakingRecord)         (agent ?X ?A1))     (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)         (and             (instance ?AC Set)             (element ?A1 ?AC)             (subclass ?PC Process)             (instance ?L Region)             (instance ?TP TimePoint)             (instance ?Q Quantity)             (instance ?P1 ?PC)             (refers ?X ?Q)             (refers ?Q ?P1)             (playsRoleInEvent ?A1 ?ROLE ?P1)             (eventLocated ?P1 ?L)             (not                 (exists (?A2 ?P2)                     (and                         (instance ?A2 ?AC)                         (not                             (equal ?A2 ?A1))                         (instance ?P2 ?PC)                         (holdsDuring                             (TimeIntervalFn ?TP                                 (EndFn                                     (WhenFn ?X)))                             (and                                 (playsRoleInEvent ?A2 ?ROLE ?P2)                                 (eventLocated ?P2 ?L)))))))))	Mid-level-ontology.kif 31924-31954	If a process is an instance of breaking record and an agent is an agent of the process, then there exist a set, a class,, , another process,, , a time point,, , a case role,, , an object and an entity such that the set is an instance of set and the agent is an element of the set and the class is a subclass of process and the object is an instance of region and the time point is an instance of time point and the entity is an instance of quantity and the other process is an instance of the class and the process includes a reference to the entity and the entity includes a reference to the other process and the agent plays role in event the case role for the other process and the other process is located at the object and there don't exist another entity and a third entity such that the other entity is an instance of the set and the other entity is not equal to the agent and the third entity is an instance of the class and the other entity plays role in event the case role for the third entity and the third entity is located at the object holds during interval between the time point and the end of the time of existence of the process
(=>     (and         (instance ?X FireAlarm)         (attribute ?X DeviceOn)         (located ?X ?LOC))     (exists (?RS)         (and             (instance ?RS RadiatingSound)             (instrument ?RS ?X)             (hasPurpose ?RS                 (exists (?GRP)                     (and                         (instance ?GRP GroupOfPeople)                         (located ?GRP ?LOC)                         (knows ?GRP                             (exists (?FIRE)                                 (and                                     (instance ?FIRE Fire)                                     (eventLocated ?FIRE ?LOC))))))))))	Mid-level-ontology.kif 28358-28376	If an object is an instance of fire alarm and device on is an attribute of the object and the object is located at another object, then there exists a process such that the process is an instance of radiating sound and the object is an instrument for the process and the process has the purpose there exists an entity such that the entity is an instance of group of people and the entity is located at the other object and the entity knows there exists another entity such that the other entity is an instance of fire and the other entity is located at the other object
(=>     (and         (instance ?X SurveillanceSystem)         (member ?X ?VIDEO)         (member ?X ?DISPLAY)         (located ?VIDEO ?LOC1)         (instance ?VIDEO Camera)         (located ?DISPLAY ?LOC2)         (not             (equal ?LOC1 ?LOC2))         (instance ?DISPLAY VideoDisplay))     (hasPurpose ?X         (exists (?PROC ?VID ?RL ?CAPTURE)             (and                 (instance ?PROC Process)                 (eventLocated ?PROC ?LOC1)                 (represents ?VID ?PROC)                 (instrument ?CAPTURE Camera)                 (result ?CAPTURE ?VID)                 (instance ?RL RadiatingLight)                 (instrument ?RL ?DISPLAY)                 (patient ?RL ?VID)                 (before                     (BeginFn ?PROC)                     (BeginFn ?CAPTURE))                 (before                     (BeginFn ?CAPTURE)                     (BeginFn ?RL))))))	Mid-level-ontology.kif 28874-28900	If a physical is an instance of surveillance system and the physical is a member of a collection and the physical is a member of another collection and the collection is located at an object and the collection is an instance of camera and the other collection is located at another object and the object is not equal to the other object and the other collection is an instance of video display, 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 process and the entity is located at the object and the other entity expresses the entity and camera is an instrument for the fourth entity and the other entity is a result of the fourth entity and the third entity is an instance of radiating light and the other collection is an instrument for the third entity and the other entity is a patient of the third entity and the beginning of the entity happens before the beginning of the fourth entity and the beginning of the fourth entity happens before the beginning of the third entity
(=>     (and         (instance ?X WaterTransportationService)         (serviceProvider ?X ?Y)         (attribute ?Y CoastalAndGreatLakesFreightTransportation))     (exists (?FREIGHT ?SHIP ?WATER)         (and             (subProcess ?FREIGHT ?X)             (instance ?FREIGHT WaterTransportation)             (instrument ?FREIGHT ?SHIP)             (instance ?SHIP CargoShip)             (eventLocated ?FREIGHT ?WATER)             (instance ?WATER WaterArea)             (geographicSubregion ?WATER UnitedStates))))	naics.kif 8184-8197	If a service is an instance of Water Transportation Service and a cognitive agent provides a service during the service and coastal and great lakes freight transportation is an attribute of the cognitive agent, then there exist a process, an object and a geographic area such that the process is a subprocess of the service and the process is an instance of water transportation and the object is an instrument for the process and the object is an instance of cargo ship and the process is located at the geographic area and the geographic area is an instance of water area and the geographic area is a geographic subregion of united states
(=>     (and         (instance ?X WaterTransportationService)         (serviceProvider ?X ?Y)         (attribute ?Y CoastalAndGreatLakesPassengerTransportation))     (exists (?CRUISE ?SHIP ?WATER)         (and             (subProcess ?CRUISE ?X)             (instance ?CRUISE WaterTransportation)             (instrument ?CRUISE ?SHIP)             (instance ?SHIP PassengerShip)             (eventLocated ?CRUISE ?WATER)             (instance ?WATER WaterArea)             (geographicSubregion ?WATER UnitedStates)             (not                 (exists (?FERRY)                     (and                         (instance ?FERRY ShortSeaPassengerShip)                         (equal ?SHIP ?FERRY)))))))	naics.kif 8207-8225	If a service is an instance of Water Transportation Service and a cognitive agent provides a service during the service and coastal and great lakes passenger transportation is an attribute of the cognitive agent, then there exist a process, an object and a geographic area such that the process is a subprocess of the service and the process is an instance of water transportation and the object is an instrument for the process and the object is an instance of passenger ship and the process is located at the geographic area and the geographic area is an instance of water area and the geographic area is a geographic subregion of united states and there doesn't exist an entity such that the entity is an instance of short sea passenger ship and the object is equal to the entity
(=>     (and         (instance ?X WaterTransportationService)         (serviceProvider ?X ?Y)         (attribute ?Y DeepSeaFreightTransportation))     (exists (?FREIGHT ?SHIP)         (and             (subProcess ?FREIGHT ?X)             (instance ?FREIGHT WaterTransportation)             (instrument ?FREIGHT ?SHIP)             (instance ?SHIP CargoShip)             (eventLocated ?FREIGHT WorldOcean))))	naics.kif 8139-8150	If a service is an instance of Water Transportation Service and a cognitive agent provides a service during the service and deep sea freight transportation is an attribute of the cognitive agent, then there exist a process and an object such that the process is a subprocess of the service and the process is an instance of water transportation and the object is an instrument for the process and the object is an instance of cargo ship and the process is located at world ocean
(=>     (and         (instance ?X WaterTransportationService)         (serviceProvider ?X ?Y)         (attribute ?Y DeepSeaPassengerTransportation))     (exists (?CRUISE ?SHIP)         (and             (subProcess ?CRUISE ?X)             (instance ?CRUISE WaterTransportation)             (instrument ?CRUISE ?SHIP)             (instance ?SHIP PassengerShip)             (eventLocated ?CRUISE WorldOcean)             (not                 (exists (?FERRY)                     (and                         (instance ?FERRY ShortSeaPassengerShip)                         (equal ?SHIP ?FERRY)))))))	naics.kif 8159-8175	If a service is an instance of Water Transportation Service and a cognitive agent provides a service during the service and deep sea passenger transportation is an attribute of the cognitive agent, then there exist a process and an object such that the process is a subprocess of the service and the process is an instance of water transportation and the object is an instrument for the process and the object is an instance of passenger ship and the process is located at world ocean and there doesn't exist an entity such that the entity is an instance of short sea passenger ship and the object is equal to the entity
(=>     (and         (locationMeasuringList ?LIST ?PLACE)         (inList ?M ?LIST))     (and         (instance ?M Measuring)         (eventLocated ?M ?PLACE)))	Weather.kif 2285-2291	If The eventLocated for a measuring list is a geographic area and a process is a member of the measuring list, then the process is an instance of measuring and the process is located at the geographic area
(=>     (and         (prevents ?X ?P)         (equal             (WhenFn ?X) ?T)         (eventLocated ?X ?L))     (not         (holdsDuring ?T             (exists (?Y)                 (and                     (instance ?Y ?P)                     (eventLocated ?Y ?L))))))	Merge.kif 4388-4398	If a process prevents the occurrence of another kind of process and the time of existence of the process is equal to a time interval and the process is located at an object, then there exists an entity such that the entity is an instance of another kind of process and the entity is located at the object doesn't hold during the time interval
(=>     (and         (secretesSubstance ?O ?S)         (instance ?I1 ?O))     (exists (?P ?I2)         (and             (instance ?P BiologicalProcess)             (eventLocated ?P ?I1)             (result ?P ?I2)             (instance ?I2 ?S))))	Mid-level-ontology.kif 13542-13551	If a kind of natural substance is a secretes substance of a kind of organic object and an object is an instance of a kind of organic object, then there exist a process and an entity such that the process is an instance of biological process and the process is located at the object and the entity is a result of the process and the entity is an instance of a kind of natural substance
(=>     (and         (visibilityInMeteorology ?Area ?Time             (MeasureFn ?Distance ?U))         (instance ?U UnitOfMeasure))     (not         (exists (?Observe ?A ?B ?D2)             (and                 (instance ?Observe Looking)                 (agent ?Observe ?A)                 (patient ?Observe ?B)                 (orientation ?A ?B Horizontal)                 (during                     (WhenFn ?Observe) ?Time)                 (eventLocated ?Observe ?Area)                 (distance ?A ?B                     (MeasureFn ?D2 ?U))                 (greaterThan ?D2 ?Distance)))))	Weather.kif 3225-3242	If the visibility at a region during a time interval is a real number an unit of measure(s) and the unit of measure is an instance of unit of measure, then there don't exist a process, an agent,, , an object and another real number such that the process is an instance of looking and the agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the time of existence of the process takes place during the time interval and the process is located at the region and the distance between the agent and the object is the other real number the unit of measure(s) and the other real number is greater than the real number
(=>     (attribute ?AREA FertileTerrain)     (capability Agriculture eventLocated ?AREA))	Geography.kif 1819-1821	If fertile terrain is an attribute of an object, then the object is capable of doing agriculture as a event located
(=>     (attribute ?H Emphysema)     (exists (?L ?P)         (and             (instance ?L Alveolus)             (part ?L ?H)             (instance ?P PathologicProcess)             (eventLocated ?P ?L))))	Mid-level-ontology.kif 6941-6948	If emphysema is an attribute of an object, then there exist another object and a process such that the other object is an instance of alveolus and the other object is a part of the object and the process is an instance of pathologic process and the process is located at the other object
(=>     (attribute ?H Goiter)     (exists (?G ?P)         (and             (instance ?G ThyroidGland)             (part ?G ?H)             (instance ?P PathologicProcess)             (eventLocated ?P ?G))))	Mid-level-ontology.kif 7112-7119	If a goiter is an attribute of an object, then there exist another object and a process such that the other object is an instance of thyroid gland and the other object is a part of the object and the process is an instance of pathologic process and the process is located at the other object
(=>     (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 11934-11946	If barber shops is an attribute of an object, then the object has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of hair and the entity is a part of the other entity and the other entity is an instance of human and the third entity is an instance of cutting and the entity is a patient of the third entity and the third entity is located at the object and the fourth entity is an agent of the third entity and the object employs the fourth entity
(=>     (baptizedplace ?PERSON ?PLACE)     (exists (?BAPTISM)         (and             (instance ?BAPTISM Baptizing)             (experiencer ?BAPTISM ?PERSON)             (eventLocated ?BAPTISM ?PLACE))))	Biography.kif 197-203	If a human was baptizing in a region, then there exists a process such that the process is an instance of baptizing and the human experiences the process and the process is located at the region
(=>     (birthplace ?INDIV ?PLACE)     (exists (?BIRTH)         (and             (instance ?BIRTH Birth)             (experiencer ?BIRTH ?INDIV)             (eventLocated ?BIRTH ?PLACE))))	Mid-level-ontology.kif 25905-25911	If an object is a birthplace of an animal, then there exists a process such that the process is an instance of birth and the animal experiences the process and the process is located at the object
(=>     (burialplace ?INDIV ?PLACE)     (exists (?BURIAL)         (and             (instance ?BURIAL Burial)             (patient ?BURIAL ?INDIV)             (eventLocated ?BURIAL ?PLACE))))	Biography.kif 213-219	If an animal is ubried at an object, then there exists a process such that the process is an instance of burial and the animal is a patient of the process and the process is located at the object
(=>     (deathplace ?P ?L)     (exists (?D)         (and             (instance ?D Death)             (experiencer ?D ?P)             (eventLocated ?D ?L))))	Mid-level-ontology.kif 25964-25970	If an object is a deathplace of an animal, then there exists a process such that the process is an instance of death and the animal experiences the process and the process is located at the object
(=>     (environmentalProblemTypeInArea ?AREA ?PROBLEM)     (exists (?EVENT)         (and             (instance ?EVENT ?PROBLEM)             (eventLocated ?EVENT ?AREA))))	Geography.kif 2451-2456	If a kind of physical is an environmental problem type in area of a geographic area, then there exists a process such that the process is an instance of a kind of physical and the process is located at the geographic area
(=>     (eventLocated ?PROCESS ?OBJ)     (forall (?SUB)         (=>             (subProcess ?SUB ?PROCESS)             (eventLocated ?SUB ?OBJ))))	Merge.kif 4133-4138	If a process is located at an object, then for all another process if the other process is a subprocess of the process, then the other process is located at the object
(=>     (eventPartlyLocated ?PROC ?OBJ)     (exists (?SUB)         (and             (subProcess ?SUB ?PROC)             (eventLocated ?SUB ?OBJ))))	Merge.kif 4106-4111	If a process is partly located at an object, then there exists another process such that the other process is a subprocess of the process and the other process is located at the object
(=>     (hinders ?X ?PROC)     (exists (?L ?T)         (decreasesLikelihood             (and                 (equal                     (WhenFn ?X) ?T)                 (eventLocated ?X ?L))             (holdsDuring ?T                 (exists (?Y)                     (and                         (instance ?Y ?PROC)                         (eventLocated ?Y ?L)))))))	Merge.kif 4410-4421	If a process hinders another kind of process, then there exist an entity and another entity such that the time of existence of the process is equal to the other entity and the process is located at the entity decreases likelihood of there exists a third entity such that the third entity is an instance of another kind of process and the third entity is located at the entity holds during the other entity
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