(=>     (counselInCase ?H ?A ?L)     (desires ?H         (exists (?LD)             (and                 (instance ?LD LegalDecision)                 (causes ?L ?LD)                 (benefits ?LD ?A)))))	Law.kif 464-471	If a human is the counsel for an agent in a legal action, then the human desires there exists the legal actionD such that the legal actionD is an instance of legal decision and the legal action causes the legal actionD and the agent is a beneficiary of the legal actionD
(=>     (hazardous ?A ?B)     (modalAttribute         (exists (?D)             (and                 (instance ?D Damaging)                 (patient ?D ?B)                 (or                     (involvedInEvent ?D ?A)                     (causes ?A ?D)))) Possibility))	Geography.kif 5876-5885	If a physical is hazardous to an object, then the statement there exists an entity such that the entity is an instance of damaging and the object is a patient of the entity and the physical is an involved in event of the entity or the physical causes the entity has the modal force of possibility
(=>     (holdsDuring ?T         (attribute ?A InterpersonalDisgust))     (causes         (exists (?P ?H)             (and                 (instance ?P Perception)                 (patient ?P ?H)                 (experiencer ?P ?A)                 (instance ?H Human)                 (during                     (WhenFn ?P) ?T)))         (holdsDuring ?T             (attribute ?A InterpersonalDisgust))))	emotion.kif 865-877	If interpersonal disgust is an attribute of an entity holds during a time position, then there exist another entity and a third entity such that the other entity is an instance of perception and the third entity is a patient of the other entity and the entity experiences the other entity and the third entity is an instance of human and the time of existence of the other entity takes place during the time position causes interpersonal disgust is an attribute of the entity holds during the time position
(=>     (holdsDuring ?T         (attribute ?H Antivaxxer))     (believes ?H         (exists (?V ?D)             (and                 (instance ?V Vaccination)                 (instance ?D Damaging)                 (causes ?V ?D)))))	Medicine.kif 3821-3829	If anti-vaxxer is an attribute of a cognitive agent holds during a time position, then the cognitive agent believes there exist an entity and another entity such that the entity is an instance of vaccination and the other entity is an instance of damaging and the entity causes the other entity
(=>     (holdsDuring ?T1         (prohibits ?A ?F))     (exists (?S ?B ?P)         (and             (instance ?S Stating)             (during                 (WhenFn ?S) ?T1)             (agent ?S ?A)             (containsFormula ?S                 (=>                     (causes                         (agent ?P ?B)                         (truth ?F True))                     (punishes ?A ?B))))))	Law.kif 65-78	If an agent prohibits an entity holds during a time interval, then there exist a process, another entity and a third entity such that the process is an instance of stating and the time of existence of the process takes place during the time interval and the agent is an agent of the process and the process contains the formula if the other entity is an agent of the third entity causes the entity is true, then the agent punishes the other entity
(=>     (instance ?A Awarding)     (exists (?RECIPIENT ?GIVER ?PROCESS ?AWARD)         (and             (instance ?RECIPIENT AutonomousAgent)             (instance ?GIVER AutonomousAgent)             (instance ?PROCESS Process)             (instance ?AWARD Object)             (agent ?PROCESS ?RECIPIENT)             (agent ?A ?GIVER)             (patient ?A ?AWARD)             (destination ?A ?RECIPIENT)             (causes ?PROCESS ?A))))	Mid-level-ontology.kif 18644-18656	If a process is an instance of awarding, then there exist an agent, another agent,, , another process and the processWARD such that the agent is an instance of agent and the other agent is an instance of agent and the other process is an instance of process and the processWARD is an instance of object and the agent is an agent of the other process and the other agent is an agent of the process and the processWARD is a patient of the process and the process ends up at the agent and the other process causes the process
(=>     (instance ?AT AutomobileTransmission)     (hasPurpose ?AT         (exists (?C ?D ?A ?R1 ?N1 ?R2 ?R3 ?R4 ?N2 ?N3)             (and                 (instance ?C Crankshaft)                 (instance ?D Driveshaft)                 (instance ?A Automobile)                 (part ?D ?A)                 (part ?AT ?A)                 (part ?C ?A)                 (connectedEngineeringComponents ?C ?AT)                 (connectedEngineeringComponents ?D ?AT)                 (instance ?R1 Rotating)                 (instance ?R2 Rotating)                 (instance ?R3 Rotating)                 (instance ?R4 Rotating)                 (patient ?R1 ?C)                 (patient ?R2 ?C)                 (patient ?R3 ?D)                 (patient ?R4 ?D)                 (causes ?R1 ?R3)                 (causes ?R2 ?R4)                 (not                     (equal ?R1 ?R2))                 (holdsDuring ?R1                     (measure ?C                         (RotationFn ?N1 MinuteDuration)))                 (holdsDuring ?R2                     (measure ?C                         (RotationFn ?N1 MinuteDuration)))                 (holdsDuring ?R3                     (measure ?D                         (RotationFn ?N2 MinuteDuration)))                 (holdsDuring ?R4                     (measure ?D                         (RotationFn ?N3 MinuteDuration)))                 (not                     (equal ?N2 ?N3))))))	Cars.kif 2352-2386	If a physical is an instance of transmission, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity,, , a sixth entity,, , a seventh entity,, , a eighth entity,, , a ninth entity and a tenth entity such that the entity is an instance of crankshaft and the other entity is an instance of driveshaft and the third entity is an instance of automobile and the other entity is a part of the third entity and the physical is a part of the third entity and the entity is a part of the third entity and the entity is connected to the physical and the other entity is connected to the physical and the fourth entity is an instance of rotating and the sixth entity is an instance of rotating and the seventh entity is an instance of rotating and the eighth entity is an instance of rotating and the entity is a patient of the fourth entity and the entity is a patient of the sixth entity and the other entity is a patient of the seventh entity and the other entity is a patient of the eighth entity and the fourth entity causes the seventh entity and the sixth entity causes the eighth entity and the fourth entity is not equal to the sixth entity and the measure of the entity is the rotation of the fifth entity during minute duration holds during the fourth entity and the measure of the entity is the rotation of the fifth entity during minute duration holds during the sixth entity and the measure of the other entity is the rotation of the ninth entity during minute duration holds during the seventh entity and the measure of the other entity is the rotation of the tenth entity during minute duration holds during the eighth entity and the ninth entity is not equal to the tenth entity
(=>     (instance ?ATTACK BiochemicalAttack)     (hasPurpose ?ATTACK         (exists (?DAMAGE ?ORGANISM)             (and                 (instance ?DAMAGE Damaging)                 (patient ?DAMAGE ?ORGANISM)                 (causes ?ATTACK ?DAMAGE)                 (instance ?ORGANISM Organism)))))	WMD.kif 70-78	If a physical is an instance of biochemical attack, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of damaging and the other entity is a patient of the entity and the physical causes the entity and the other entity is an instance of organism
(=>     (instance ?BLEED Bleeding)     (exists (?INJURY)         (and             (instance ?INJURY Injuring)             (causes ?INJURY ?BLEED))))	Mid-level-ontology.kif 21381-21386	If a process is an instance of bleeding, then there exists another process such that the other process is an instance of injuring and the other process causes the process
(=>     (instance ?CHARGE FinalValueFee)     (exists (?ADVERT ?SELLING ?OWNER ?ITEM ?SITE)         (and             (instance ?ADVERT WebListing)             (instance ?SELLING Selling)             (instance ?OWNER AutonomousAgent)             (instance ?ITEM Physical)             (instance ?ADVERT WebListing)             (patient ?ADVERT ?ITEM)             (patient ?SELLING ?ITEM)             (causes ?SELLING ?CHARGE)             (agent ?CHARGE ?OWNER)             (hostedOn ?ADVERT ?SITE)             (possesses ?OWNER ?SITE)             (eCommerceSite ?SELLING ?OWNER))))	UXExperimentalTerms.kif 240-255	If a process is an instance of final fee, then there exist a web listing, a financial transaction,, , an agent,, , an entity and a web site such that the web listing is an instance of web listing and the financial transaction is an instance of selling and the agent is an instance of agent and the entity is an instance of physical and the web listing is an instance of web listing and the entity is a patient of the web listing and the entity is a patient of the financial transaction and the financial transaction causes the process and the agent is an agent of the process and the web listing is hosted on the web site and the agent possesses the web site and the agent facilitates the financial transaction
(=>     (instance ?CHARGE InsertionFee)     (exists (?ADVERT ?PROC ?OWNER)         (and             (instance ?ADVERT WebListing)             (instance ?PROC ListOnSite)             (instance ?OWNER AutonomousAgent)             (patient ?PROC ?ADVERT)             (causes ?PROC ?CHARGE)             (agent ?CHARGE ?OWNER)             (agent ?PROC ?OWNER))))	UXExperimentalTerms.kif 220-230	If a process is an instance of insertion fee, then there exist an entity, another process and an agent such that the entity is an instance of web listing and the other process is an instance of list on site and the agent is an instance of agent and the entity is a patient of the other process and the other process causes the process and the agent is an agent of the process and the agent is an agent of the other process
(=>     (instance ?CHECK CheckInService)     (exists (?AGENT ?CUST ?GREET ?SERVICE)         (and             (customer ?CUST ?AGENT)             (serviceProvider ?CHECK ?AGENT)             (instance ?GREET Greeting)             (agent ?GREET ?CUST)             (destination ?GREET ?AGENT)             (subProcess ?GREET ?CHECK)             (instance ?SERVICE Process)             (agent ?SERVICE ?AGENT)             (causes ?CHECK ?SERVICE))))	Hotel.kif 2154-2166	If a service is an instance of check-in service, then there exist a cognitive agent, another cognitive agent,, , a process and another process such that the cognitive agent is a customer of the other cognitive agent and the cognitive agent provides a service during the service and the process is an instance of greeting and the other cognitive agent is an agent of the process and the process ends up at the cognitive agent and the process is a subprocess of the service and the other process is an instance of process and the cognitive agent is an agent of the other process and the service causes the other process
(=>     (instance ?CM CentrifugalMotion)     (exists (?R ?A ?O1 ?O2)         (and             (instance ?R Rotating)             (axis ?A ?O1)             (origin ?CM ?A)             (experiencer ?R ?O1)             (experiencer ?CM ?O2)             (causes ?R ?CM))))	Mid-level-ontology.kif 17486-17495	If a process is an instance of centrifugal motion, then there exist another process, an object,, , an agent and another agent such that the other process is an instance of rotating and the agent is an axis of the object and the process originates at the object and the agent experiences the other process and the other agent experiences the process and the other process causes the process
(=>     (instance ?CM CentripetalMotion)     (exists (?R ?A ?O1 ?O2)         (and             (instance ?R Rotating)             (axis ?A ?O1)             (destination ?CM ?A)             (experiencer ?R ?O1)             (experiencer ?CM ?O2)             (causes ?R ?CM))))	Mid-level-ontology.kif 17501-17510	If a process is an instance of centripetal motion, then there exist another process, an object,, , an agent and another agent such that the other process is an instance of rotating and the agent is an axis of the object and the process ends up at the object and the agent experiences the other process and the other agent experiences the process and the other process causes the process
(=>     (instance ?CPR CPR)     (hasPurpose ?CPR         (exists (?O ?HB)             (and                 (instance ?O Human)                 (instance ?HB HeartBeat)                 (located ?HB ?O)                 (causes ?CPR ?HB)))))	Medicine.kif 599-607	If a physical is an instance of cardio-pulmonary resuscitation, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of human and the other entity is an instance of heart beat and the other entity is located at the entity and the physical causes the other entity
(=>     (instance ?D Distributor)     (hasPurpose ?D         (exists (?SP ?S ?O ?R ?E)             (and                 (instance ?E Engine)                 (instance ?SP SparkPlug)                 (instance ?S Spark)                 (part ?O ?D)                 (part ?D ?E)                 (part ?SP ?E)                 (instance ?R Rotating)                 (causes ?R ?S)))))	Cars.kif 2280-2292	If a physical is an instance of distributor, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the fifth entity is an instance of engine and the entity is an instance of spark plug and the other entity is an instance of spark and the third entity is a part of the physical and the physical is a part of the fifth entity and the entity is a part of the fifth entity and the fourth entity is an instance of rotating and the fourth entity causes the other entity
(=>     (instance ?D Driveshaft)     (hasPurpose ?D         (exists (?R1 ?R2 ?W ?A)             (and                 (instance ?A Automobile)                 (instance ?W Wheel)                 (part ?D ?A)                 (part ?W ?A)                 (instance ?R1 Rotating)                 (patient ?R1 ?D)                 (patient ?R2 ?W)                 (causes ?R1 ?R2)))))	Cars.kif 2331-2343	If a physical is an instance of driveshaft, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the fourth entity is an instance of automobile and the third entity is an instance of wheel and the physical is a part of the fourth entity and the third entity is a part of the fourth entity and the entity is an instance of rotating and the physical is a patient of the entity and the third entity is a patient of the other entity and the entity causes the other entity
(=>     (instance ?DEVICE SwitchDevice)     (exists (?PROC1 ?PROC2 ?ELECTRIC)         (and             (instrument ?PROC1 ?DEVICE)             (causes ?PROC1 ?PROC2)             (instrument ?PROC2 ?ELECTRIC)             (instance ?ELECTRIC ElectricDevice))))	Mid-level-ontology.kif 1788-1795	If an object is an instance of switch device, then there exist a process, another process and another object such that the object is an instrument for the process and the process causes the other process and the other object is an instrument for the other process and the other object is an instance of electric device
(=>     (instance ?EC EngineCranking)     (exists (?EM ?E ?S ?R1 ?C ?R2)         (and             (instance ?EM ElectricalMotor)             (instance ?E InternalCombustionEngine)             (instance ?S Shaft)             (instance ?C Crankshaft)             (part ?S ?EM)             (subProcess ?R1 ?EC)             (instance ?R1 Rotating)             (patient ?R1 ?S)             (instance ?R2 Rotating)             (patient ?R2 ?C)             (part ?C ?E)             (causes ?R1 ?R2))))	Cars.kif 2221-2236	If a process is an instance of engine cranking, then there exist an object, another object,, , a third object,, , another process,, , a fourth object and a third process such that the object is an instance of electrical motor and the other object is an instance of internal combustion engine and the third object is an instance of shaft and the fourth object is an instance of crankshaft and the third object is a part of the object and the other process is a subprocess of the process and the other process is an instance of rotating and the third object is a patient of the other process and the third process is an instance of rotating and the fourth object is a patient of the third process and the fourth object is a part of the other object and the other process causes the third process
(=>     (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	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 ?ED ExplosiveDevice)     (hasPurpose ?ED         (exists (?E ?D)             (and                 (instance ?E Explosion)                 (instrument ?E ?ED)                 (causes ?E ?D)                 (instance ?D Damaging)))))	Mid-level-ontology.kif 17845-17853	If a physical is an instance of explosive device, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of explosion and the physical is an instrument for the entity and the entity causes the other entity and the other entity is an instance of damaging
(=>     (instance ?EVU EmotionalVoiceUtterances)     (causes         (exists (?E ?A)             (and                 (instance ?E EmotionalState)                 (attribute ?A ?E)))         (agent ?EVU ?A)))	emotion.kif 99-106	If an entity is an instance of emotional voice utterances, then there exist another entity and a third entity such that the other entity is an instance of emotional state and the other entity is an attribute of the third entity causes the third entity is an agent of the entity
(=>     (instance ?EXPLOSION Explosion)     (exists (?PROC)         (and             (instance ?PROC ChemicalProcess)             (causes ?PROC ?EXPLOSION))))	Mid-level-ontology.kif 15835-15840	If a process is an instance of explosion, then there exists another process such that the other process is an instance of chemical process and the other process causes the process
(=>     (instance ?F Flywheel)     (hasPurpose ?F         (exists (?R1 ?R2)             (and                 (instance ?R1 Rotating)                 (instance ?R2 Rotating)                 (patient ?R1 ?F)                 (causes ?R1 ?R2)))))	Cars.kif 2245-2253	If a physical is an instance of flywheel, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of rotating and the other entity is an instance of rotating and the physical is a patient of the entity and the entity causes the other entity
(=>     (instance ?FLOOD FlashFlooding)     (exists (?WATER ?HOUR)         (and             (instance ?WATER WaterMotion)             (causes ?WATER ?FLOOD)             (meetsTemporally                 (WhenFn ?WATER)                 (WhenFn ?FLOOD))             (duration                 (WhenFn ?WATER)                 (MeasureFn ?HOUR HourDuration))             (lessThan ?HOUR 6.0))))	Weather.kif 1626-1638	If a process is an instance of flash flooding, then there exist another process and a real number such that the other process is an instance of water motion and the other process causes the process and the time of existence of the other process meets the time of existence of the process and duration of the time of existence of the other process is the real number hour duration(s) and the real number is less than 6.0
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