consequent

(=>     (almaMater ?PERSON ?SCHOOL)     (exists (?EV)         (and             (instance ?EV EducationalProcess)             (destination ?EV ?PERSON)             (eventLocated ?EV ?SCHOOL)             (holdsDuring                 (WhenFn ?EV)                 (attribute ?PERSON Student)))))	Mid-level-ontology.kif 18314-18323	If a human's almaMater is a post secondary school, then there exists a process such that the process is an instance of educational process and the process ends up at the human and the process is located at the post secondary school and student is an attribute of the human holds during the time of existence of the process
(=>     (and         (attribute ?M StudioRecording)         (instance ?M Recording))     (exists (?P ?S)         (and             (record ?M ?P)             (eventLocated ?P ?S)             (instance ?S RecordingStudio))))	Music.kif 394-402	If studio recording is an attribute of a content bearing object and the content bearing object is an instance of recording, then there exist a process and an object such that the content bearing object is a record of the process and the process is located at the object and the object is an instance of recording studio
(=>     (and         (attribute ?X CommunalAttribute)         (instance ?X Table)         (instance ?E1 Eating)         (agent ?E1 ?GRP1)         (instance ?GRP1 GroupOfPeople)         (eventLocated ?E1 ?X))     (modalAttribute         (exists (?GRP2 ?E2 ?X2)             (and                 (instance ?E2 Eating)                 (agent ?E2 ?GRP2)                 (not                     (equal ?GRP1 ?GRP2))                 (instance ?GRP2 GroupOfPeople)                 (eventLocated ?E2 ?X2)                 (meetsTemporally                     (WhenFn ?E1)                     (WhenFn ?E2))                 (equal ?X ?X2))) Possibility))	Dining.kif 1207-1224	If communal is an attribute of an object and the object is an instance of table and a process is an instance of eating and an agent is an agent of the process and the agent is an instance of group of people and the process is located at the object, then the statement there exist an entity, another entity and the object2 such that the other entity is an instance of eating and the entity is an agent of the other entity and equal the agent and the entity and the entity is an instance of group of people and the other entity is located at the object2 and the time of existence of the process meets the time of existence of the other entity and equal the object and the object2 has the modal force of possibility
(=>     (and         (attribute ?X DeepSeaCoastalAndGreatLakesWaterTransportation)         (instance ?X TransportationCompany))     (exists (?SERVICE ?PLACE)         (and             (instance ?SERVICE WaterTransportationService)             (serviceProvider ?SERVICE ?X)             (eventLocated ?SERVICE ?PLACE)             (instance ?PLACE WaterArea)             (located ?X NorthAmerica))))	naics.kif 8120-8130	If deep sea coastal and great lakes water transportation is an attribute of a cognitive agent and the cognitive agent is an instance of transportation company, then there exist a service and an object such that the service is an instance of Water Transportation Service and the cognitive agent provides a service during the service and the service is located at the object and the object is an instance of water area and the cognitive agent is located at north america
(=>     (and         (attribute ?X Historical)         (instance ?X City))     (exists (?EV)         (and             (instance ?EV Physical)             (attribute ?EV Historical)             (eventLocated ?EV ?X))))	Mid-level-ontology.kif 29022-29030	If historical is an attribute of an object and the object is an instance of city, then there exists another object such that the other object is an instance of physical and historical is an attribute of the other object and the other object is located at the object
(=>     (and         (attribute ?X WheelchairAccessible)         (or             (instance ?X Building)             (instance ?X Room)))     (modalAttribute         (exists (?MOTION ?WHEELCHAIR)             (and                 (instance ?MOTION Motion)                 (instrument ?MOTION ?WHEELCHAIR)                 (instance ?WHEELCHAIR Wheelchair)                 (eventLocated ?MOTION ?X))) Possibility))	Mid-level-ontology.kif 28590-28602	If wheelchair accessible is an attribute of an object and the object is an instance of building or the object is an instance of room, then the statement there exist an entity and another entity such that the entity is an instance of motion and the other entity is an instrument for the entity and the other entity is an instance of wheelchair and the entity is located at the object has the modal force of possibility
(=>     (and         (duration ?T             (MeasureFn ?P MonthDuration))         (greaterThanOrEqualTo ?P 5)         (holdsDuring ?T             (and                 (equal ?D                     (SubtractionFn ?S ?L))                 (equal                     (MeasureFn ?S CelsiusDegree)                     (ThreeMonthsRunningMeanSSTFn Nino3Point4 ?M ?Y))                 (equal                     (MeasureFn ?L CelsiusDegree)                     (ThirtyYearAverageSSTForMonthFn Nino3Point4 ?M ?Y))                 (greaterThan ?D 0.5))))     (holdsDuring ?T         (exists (?EL ?A)             (and                 (instance ?EL ElNinoPhase)                 (instance ?A GeographicArea)                 (eventLocated ?EL ?A)))))	Weather.kif 544-565	If duration of a time interval is a real number month duration(s) and the real number is greater than or equal to 5 and equal an entity and (another entity and a third entity) and equal the other entity celsius degree(s) and ThreeMonthsRunningMeanSSTFn for month a fourth entity year a fifth entity in region Nino 3.4 and equal the third entity celsius degree(s) and ThirtyYearAverageSSTForMonthFn for month the fourth entity in year the fifth entity of region Nino 3.4 and the entity is greater than 0.5 holds during the time interval, then there exist a sixth entity and a seventh entity such that the sixth entity is an instance of El Nino phase and the seventh entity is an instance of geographic area and the sixth entity is located at the seventh entity holds during the time interval
(=>     (and         (duration ?T             (MeasureFn ?P MonthDuration))         (greaterThanOrEqualTo ?P 5)         (holdsDuring ?T             (and                 (equal ?D                     (SubtractionFn ?S ?L))                 (equal                     (MeasureFn ?S CelsiusDegree)                     (ThreeMonthsRunningMeanSSTFn Nino3Point4 ?M ?Y))                 (equal                     (MeasureFn ?L CelsiusDegree)                     (ThirtyYearAverageSSTForMonthFn Nino3Point4 ?M ?Y))                 (lessThan ?D -0.5))))     (holdsDuring ?T         (exists (?LA ?A)             (and                 (instance ?LA LaNinaPhase)                 (instance ?A GeographicArea)                 (eventLocated ?LA ?A)))))	Weather.kif 579-600	If duration of a time interval is a real number month duration(s) and the real number is greater than or equal to 5 and equal an entity and (another entity and a third entity) and equal the other entity celsius degree(s) and ThreeMonthsRunningMeanSSTFn for month a fourth entity year a fifth entity in region Nino 3.4 and equal the third entity celsius degree(s) and ThirtyYearAverageSSTForMonthFn for month the fourth entity in year the fifth entity of region Nino 3.4 and the entity is less than -0.5 holds during the time interval, then there exist the third entityA and a seventh entity such that the third entityA is an instance of La Nina phase and the seventh entity is an instance of geographic area and the third entityA is located at the seventh entity holds during the time interval
(=>     (and         (instance ?BC BoosterChair)         (instance ?H HumanChild))     (hasPurposeForAgent ?BC         (and             (attribute ?H Sitting)             (eventLocated ?H ?BC)) ?H))	Dining.kif 840-847	If a physical is an instance of booster chair and an agent is an instance of human child, then the physical has the purpose sitting is an attribute of the agent and the agent is located at the physical for the agent
(=>     (and         (instance ?C Crankshaft)         (instance ?I IntermittentCombustionEngine)         (part ?I ?C))     (hasPurpose ?C         (exists (?E ?R)             (and                 (instance ?E Explosion)                 (instance ?R Rotating)                 (patient ?R ?C)                 (eventLocated ?R ?I)                 (causes ?E ?R)))))	Cars.kif 349-361	If an object is an instance of crankshaft and another object is an instance of intermittent combustion engine and the other object is a part of the object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of explosion and the other entity is an instance of rotating and the object is a patient of the other entity and the other entity is located at the other object and the entity causes the other entity
(=>     (and         (instance ?CRAFT WaterVehicle)         (instance ?EVENT Transportation)         (instrument ?EVENT ?CRAFT))     (exists (?WATER)         (and             (instance ?WATER WaterArea)             (eventLocated ?EVENT ?WATER))))	Mid-level-ontology.kif 3941-3949	If an object is an instance of water vehicle and a process is an instance of transportation and the object is an instrument for the process, then there exists another object such that the other object is an instance of water area and the process is located at the other object
(=>     (and         (instance ?DRYSPELL Drought)         (eventLocated ?DRYSPELL ?AREA))     (not         (exists (?RAIN ?PLACE)             (and                 (instance ?RAIN Raining)                 (instance ?PLACE Region)                 (eventLocated ?RAIN ?PLACE)                 (overlapsSpatially ?PLACE ?AREA)                 (overlapsTemporally ?RAIN ?DRYSPELL)))))	Weather.kif 3795-3806	If a time interval is an instance of drought and the time interval is located at an object, then there don't exist another time interval and another object such that the other time interval is an instance of raining and the other object is an instance of region and the other time interval is located at the other object and the other object and the object overlapsSpatially and the time interval overlaps the other time interval
(=>     (and         (instance ?DUSTSTORM DustStorm)         (instance ?WIND Wind)         (subProcess ?DUSTSTORM ?WIND))     (exists (?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)         (and             (instance ?A1 LandArea)             (eventLocated ?WIND ?A1)             (surfaceWindSpeed ?A1                 (MeasureFn ?STRONG KnotUnitOfSpeed))             (greaterThan ?STRONG 30.0)             (instance ?TRANSLOCATE Translocation)             (subProcess ?TRANSLOCATE ?DUSTSTORM)             (objectTransferred ?TRANSLOCATE ?PM)             (objectTransferred ?TRANSLOCATE ?SAND)             (instance ?PM ParticulateMatter)             (instance ?SAND Sand)             (instance ?A2 LandArea)             (destination ?TRANSLOCATE ?A2)             (not                 (overlapsSpatially ?A1 ?A2)))))	Weather.kif 2451-2472	If a process is an instance of dust storm and another process is an instance of wind and the process is a subprocess of the other process, then there exist a transfer, an object,, , another object,, , a third object,, , a fourth object and a real number such that the third object is an instance of land area and the other process is located at the third object and the real number knot unit of speed(s) is a surface wind speed of the third object and the real number is greater than 30.0 and the transfer is an instance of translocation and the transfer is a subprocess of the process and the object transferred in the transfer is the object and the object transferred in the transfer is the other object and the object is an instance of PM and the other object is an instance of sand and the fourth object is an instance of land area and the transfer ends up at the fourth object and the third object and the fourth object doesn't overlapsSpatially
(=>     (and         (instance ?E Exhaust)         (material Fuel ?E)         (instance ?T Transfer)         (instance ?ENG Engine)         (origin ?T ?ENG)         (instance ?CC CatalyticConverter)         (destination ?T ?CC)         (objectTransferred ?T ?E))     (hasPurpose ?CC         (exists (?C)             (and                 (instance ?C Combustion)                 (instrument ?C ?CC)                 (patient ?C ?E)                 (eventLocated ?C ?CC)))))	Cars.kif 1724-1740	If a corpuscular object is an instance of exhaust and the corpuscular object is made of fuel and a transfer is an instance of transfer and the corpuscular objectNG is an instance of engine and the transfer originates at the corpuscular objectNG and a physical is an instance of catalytic converter and the transfer ends up at the physical and the object transferred in the transfer is the corpuscular object, then the physical has the purpose there exists an entity such that the entity is an instance of burning and the physical is an instrument for the entity and the corpuscular object is a patient of the entity and the entity is located at the physical
(=>     (and         (instance ?EV Evacuation)         (origin ?EV ?O)         (agent ?EV ?A))     (exists (?M ?MA)         (and             (instance ?M Maintaining)             (eventLocated ?M ?O)             (subProcess ?M ?EV)             (or                 (subOrganization ?MA ?A)                 (member ?MA ?A)                 (equal ?MA ?A))             (agent ?M ?MA))))	MilitaryProcesses.kif 2626-2640	If a process is an instance of evacuating and the process originates at an object and an organization is an agent of the process, then there exist another process and the other processA such that the other process is an instance of maintaining and the other process is located at the object and the other process is a subprocess of the process and the other processA is a part of the organization the organization or the other processA is a member of the organization or equal the other processA and the organization and the other processA is an agent of the other process
(=>     (and         (instance ?G Garden)         (plantInArea Plant ?G))     (hasPurpose ?G         (exists (?R)             (and                 (instance ?R RecreationOrExercise)                 (eventLocated ?R ?G)))))	Mid-level-ontology.kif 9315-9323	If a cultivated land area is an instance of garden and plant Located in the cultivated land area., then the cultivated land area 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 cultivated land area
(=>     (and         (instance ?G Gene)         (located ?G ?C)         (instance ?C Cell))     (exists (?B ?N ?R)         (and             (instance ?B BiologicalProcess)             (eventLocated ?B ?C)             (origin ?B ?G)             (result ?B ?N)             (instance ?N Nucleotide)             (part ?N ?R)             (instance ?R RNAMolecule)             (located ?R ?C))))	VirusProteinAndCellPart.kif 661-675	If an object is an instance of gene and the object is located at another object and the other object is an instance of cell, then there exist a process, a third object and a fourth object such that the process is an instance of biological process and the process is located at the other object and the process originates at the object and the third object is a result of the process and the third object is an instance of nucleotide and the third object is a part of the fourth object and the fourth object is an instance of RNA molecule and the fourth object is located at the other object
(=>     (and         (instance ?HS HeavySurf)         (instance ?PLACE WaterArea)         (eventLocated ?HS ?PLACE))     (exists (?SWIM ?A)         (and             (instance ?SWIM Swimming)             (instance ?A Human)             (agent ?SWIM ?A)             (eventLocated ?SWIM ?PLACE)             (holdsDuring                 (WhenFn ?HS)                 (hazardous ?HS ?A)))))	Weather.kif 2903-2916	If a process is an instance of heavy zone and an object is an instance of water area and the process is located at the object, then there exist another process and an agent such that the other process is an instance of swimming and the agent is an instance of human and the agent is an agent of the other process and the other process is located at the object and the process is hazardous to the agent holds during the time of existence of the process
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG MiscellaneousStoreRetailers))     (exists (?EV ?MEM ?THING ?ST ?P)         (and             (member ?MEM ?ORG)             (agent ?EV ?P)             (instance ?EV Selling)             (instance ?P Human)             (instance ?ST RetailStore)             (eventLocated ?EV ?ST)             (instance ?THING Object)             (patient ?EV ?THING))))	naics.kif 7752-7765	If a collection is an instance of organization and miscellaneous store retailers is an attribute of the collection, then there exist a process, a physical,, , an entity,, , an object and an agent such that the physical is a member of the collection and the agent is an agent of the process and the process is an instance of selling and the agent is an instance of human and the object is an instance of retail store and the process is located at the object and the entity is an instance of object and the entity is a patient of the process
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG NonstoreRetailers))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING ?P)                 (and                     (instance ?EV Selling)                     (instance ?P Human)                     (instance ?THING Object)                     (not                         (eventLocated ?EV RetailStore))                     (destination ?EV ?P)                     (patient ?EV ?THING))))))	naics.kif 7877-7893	If a collection is an instance of organization and nonstore retailers is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity and another entity such that the agent is an instance of selling and the other entity is an instance of human and the entity is an instance of object and not the agent is located at retail store and the agent ends up at the other entity and the entity is a patient of the agent
(=>     (and         (instance ?P ForestProduct)         (instance ?M Manufacture)         (result ?M ?P)         (patient ?M ?X)         (instance ?X Organism))     (exists (?A ?F)         (and             (instance ?A Agriculture)             (result ?A ?X)             (eventLocated ?A ?F)             (instance ?F Forest))))	Economy.kif 5546-5558	If an entity is an instance of forest product and a process is an instance of manufacture and the entity is a result of the process and another entity is a patient of the process and the other entity is an instance of organism, then there exist another process and an object such that the other process is an instance of agriculture and the other entity is a result of the other process and the other process is located at the object and the object is an instance of forest
(=>     (and         (instance ?PROC Process)         (eventLocated ?PROC ?LOC)         (subProcess ?SUB ?PROC))     (eventLocated ?SUB ?LOC))	Mid-level-ontology.kif 25649-25654	If a process is an instance of process and the process is located at an object and another process is a subprocess of the process, then the other process is located at the object
(=>     (and         (instance ?REST Restaurant)         (instance ?DR DiningRoom)         (attribute ?DR PrivateAttribute)         (possesses ?REST ?DR)         (customer ?GRP1 ?REST)         (instance ?E1 Eating)         (agent ?E1 ?GRP1)         (instance ?GRP1 GroupOfPeople))     (modalAttribute         (not             (exists (?GRP2 ?E2)                 (and                     (customer ?GRP2 ?REST)                     (not                         (equal ?GRP1 ?GRP2))                     (instance ?E2 Eating)                     (agent ?E2 ?GRP2)                     (holdsDuring                         (WhenFn ?E1)                         (eventLocated ?E2 ?DR))))) Likely))	Dining.kif 1227-1246	If an agent is an instance of restaurant and an object is an instance of dining room and private attribute is an attribute of the object and the agent possesses the object and the agent is a customer of a cognitive agent and a process is an instance of eating and the cognitive agent is an agent of the process and the cognitive agent is an instance of group of people, then the statement there don't exist an entity and another entity such that the agent is a customer of the entity and equal the cognitive agent and the entity and the other entity is an instance of eating and the entity is an agent of the other entity and the other entity is located at the object holds during the time of existence of the process has the modal force of likely
(=>     (and         (instance ?S Shooting)         (instance ?G Gun)         (instrument ?S ?G))     (exists (?E ?GB ?B ?C ?M)         (and             (subProcess ?E ?S)             (instance ?E Exiting)             (eventLocated ?E ?GB)             (instance ?GB GunBarrel)             (part ?GB ?G)             (objectTransferred ?E ?B)             (instance ?B Bullet)             (origin ?B ?C)             (instance ?C BulletCartridge)             (located ?C ?GB)             (path ?E ?GB)             (entrance ?M ?GB)             (instance ?M GunMuzzle))))	Mid-level-ontology.kif 1362-1381	If a process is an instance of shooting and an object is an instance of gun and the object is an instrument for the process, then there exist a transfer, the objectB,, , another object,, , a third object and another region such that the transfer is a subprocess of the process and the transfer is an instance of exiting and the transfer is located at the objectB and the objectB is an instance of gun barrel and the objectB is a part of the object and the object transferred in the transfer is the other object and the other object is an instance of bullet and the other object originates at the third object and the third object is an instance of bullet cartridge and the third object is located at the objectB and the objectB is path along which the transfer occurs and the other region is the entrance for the objectB and the other region is an instance of gun muzzle
(=>     (and         (instance ?SHOCK Aftershock)         (eventLocated ?SHOCK ?PLACE))     (exists (?TREMOR)         (and             (instance ?TREMOR EarthTremor)             (eventLocated ?TREMOR ?PLACE)             (before                 (WhenFn ?TREMOR)                 (WhenFn ?SHOCK)))))	Geography.kif 3783-3793	If a process is an instance of aftershock and the process is located at an object, then there exists another process such that the other process is an instance of earth tremor and the other process is located at the object and the time of existence of the other process happens before the time of existence of the process
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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