(=>     (instance ?MS MuakharSadaq)     (exists (?H ?W ?T1 ?T2)         (and             (agent ?MS ?H)             (origin ?MS ?H)             (destination ?MS ?W)             (holdsDuring ?T1                 (wife ?W ?H))             (not                 (holdsDuring ?T2                     (wife ?W ?H)))             (finishes ?T1 ?MS)             (before ?T1 ?T2)             (starts ?T2 ?MS))))	ArabicCulture.kif 285-299	If a time interval is an instance of muakhar sadaq, then there exist an agent, an entity,, , another time interval and a third time interval such that the agent is an agent of the time interval and the time interval originates at the agent and the time interval ends up at the entity and the entity is the wife of the agent holds during the other time interval and the entity is the wife of the agent doesn't hold during the third time interval and the other time interval finishes the time interval and the other time interval happens before the third time interval and the third time interval starts the time interval
(=>     (instance ?MS MuqaddamSadaq)     (exists (?H ?W ?T1 ?T2)         (and             (agent ?MS ?H)             (origin ?MS ?H)             (destination ?MS ?W)             (not                 (holdsDuring ?T1                     (wife ?W ?H)))             (holdsDuring ?T2                 (wife ?W ?H))             (finishes ?T1 ?MS)             (before ?T1 ?T2)             (starts ?T2 ?MS))))	ArabicCulture.kif 305-319	If a time interval is an instance of muqaddam sadaq, then there exist an agent, an entity,, , another time interval and a third time interval such that the agent is an agent of the time interval and the time interval originates at the agent and the time interval ends up at the entity and the entity is the wife of the agent doesn't hold during the other time interval and the entity is the wife of the agent holds during the third time interval and the other time interval finishes the time interval and the other time interval happens before the third time interval and the third time interval starts the time interval
(=>     (instance ?O Object)     (capability Translocation origin ?O))	Merge.kif 847-849	If an object is an instance of object, then the object is capable of doing translocation as a origin
(=>     (instance ?ORDER OperationOrder)     (exists (?SUPERIORCOMMANDER ?SUBORDINATECOMMANDER ?MILITARY)         (and             (agent ?ORDER ?SUPERIORCOMMANDER)             (origin ?ORDER ?SUPERIORCOMMANDER)             (destination ?ORDER ?SUBORDINATECOMMANDER)             (instance ?SUPERIORCOMMANDER MilitaryCommander)             (instance ?SUBORDINATECOMMANDER MilitaryCommander)             (subordinatePosition ?MILITARY ?SUBORDINATECOMMANDER ?SUPERIORCOMMANDER)             (instance ?MILITARY MilitaryForce))))	MilitaryProcesses.kif 1663-1673	If a process is an instance of operation order, then there exist an agent, a position and an organization such that the agent is an agent of the process and the process originates at the agent and the process ends up at the position and the agent is an instance of military commander and the position is an instance of military commander and the organization is subordinate position the position for the agent and the organization is an instance of military force
(=>     (instance ?P Phishing)     (exists (?FS ?V ?M ?I)         (and             (instance ?M Communication)             (origin ?M ?FS)             (agent ?P ?FS)             (destination ?M ?V)             (instance ?I Formula)             (knows ?V ?I)             (not                 (desires ?V                     (knows ?FS ?I)))             (desires ?FS                 (knows ?FS ?I)))))	ComputingBrands.kif 4230-4244	If a process is an instance of phishing, then there exist a cognitive agent, another cognitive agent,, , another process and a formula such that the other process is an instance of communication and the other process originates at the cognitive agent and the cognitive agent is an agent of the process and the other process ends up at the other cognitive agent and the formula is an instance of formula and the other cognitive agent knows the formula and the other cognitive agent doesn't desire the cognitive agent knows the formula and the cognitive agent desires the cognitive agent knows the formula
(=>     (instance ?P Urination)     (exists (?B)         (and             (instance ?B Bladder)             (origin ?P ?B))))	Mid-level-ontology.kif 12609-12614	If a process is an instance of urination, then there exists an object such that the object is an instance of bladder and the process originates at the object
(=>     (instance ?PCVV PositiveCrankcaseVentilationValve)     (hasPurpose ?PCVV         (exists (?CR ?F ?CC ?T ?A)             (and                 (instance ?CR Crankcase)                 (instance ?F Fuel)                 (instance ?CC CombustionChamber)                 (instance ?T Transfer)                 (instance ?A Automobile)                 (part ?CR ?A)                 (part ?CC ?A)                 (part ?PCVV ?A)                 (origin ?T ?CR)                 (destination ?T ?CC)                 (objectTransferred ?T ?F)                 (path ?T ?PCVV)))))	Cars.kif 3879-3895	If a physical is an instance of positive crankcase ventilation valve, 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 entity is an instance of crankcase and the other entity is an instance of fuel and the third entity is an instance of combustion chamber and the fourth entity is an instance of transfer and the fifth entity is an instance of automobile and the entity is a part of the fifth entity and the third entity is a part of the fifth entity and the physical is a part of the fifth entity and the fourth entity originates at the entity and the fourth entity ends up at the third entity and the object transferred in the fourth entity is the other entity and the physical is path along which the fourth entity occurs
(=>     (instance ?POUR Pouring)     (exists (?LIQUID ?CONTAINER1 ?CONTAINER2)         (and             (origin ?POUR ?CONTAINER1)             (destination ?POUR ?CONTAINER2)             (instance ?CONTAINER1 Container)             (instance ?CONTAINER2 Container)             (not                 (equal ?CONTAINER1 ?CONTAINER2))             (patient ?POUR ?LIQUID)             (attribute ?LIQUID Liquid)             (instance ?LIQUID Substance))))	Mid-level-ontology.kif 19089-19100	If a process is an instance of pouring, then there exist an object, another object and an entity such that the process originates at the other object and the process ends up at the entity and the other object is an instance of container and the entity is an instance of container and equal the other object and the entity and the object is a patient of the process and liquid is an attribute of the object and the object is an instance of substance
(=>     (instance ?PS PayStub)     (exists (?FT ?O ?E)         (and             (instance ?FT FinancialTransaction)             (origin ?FT ?O)             (destination ?FT ?E)             (refers ?PS ?FT))))	Medicine.kif 3387-3394	If an entity is an instance of paystub, then there exist a process, an object and another entity such that the process is an instance of financial transaction and the process originates at the object and the process ends up at the other entity and the entity includes a reference to the process
(=>     (instance ?PS PowerSource)     (exists (?RE)         (and             (instance ?RE RadiatingElectromagnetic)             (origin ?RE ?PS))))	Mid-level-ontology.kif 3029-3034	If an object is an instance of power source, then there exists a process such that the process is an instance of radiating electromagnetic and the process originates at the object
(=>     (instance ?PW PurifiedWater)     (exists (?R ?W ?S)         (and             (instance ?R Removing)             (origin ?R ?W)             (instance ?W Water)             (patient ?R ?S)             (instance ?S Substance)             (part ?S ?W)             (result ?R ?PW))))	Food.kif 248-258	If an entity is an instance of purified water, then there exist a process, an object and another object such that the process is an instance of removing and the process originates at the object and the object is an instance of water and the other object is a patient of the process and the other object is an instance of substance and the other object is a part of the object and the entity is a result of the process
(=>     (instance ?QUAKE EarthTremor)     (exists (?FAULT)         (and             (instance ?FAULT GeologicalFault)             (origin ?QUAKE ?FAULT))))	Geography.kif 2537-2542	If a process is an instance of earth tremor, then there exists an object such that the object is an instance of geological fault and the process originates at the object
(=>     (instance ?QUAKE Earthquake)     (exists (?FAULT)         (and             (instance ?FAULT GeologicalFault)             (origin ?QUAKE ?FAULT))))	Geography.kif 2544-2549	If a process is an instance of earthquake, then there exists an object such that the object is an instance of geological fault and the process originates at the object
(=>     (instance ?ROOT PlantRoot)     (hasPurpose ?ROOT         (exists (?TRAN ?STUFF ?HOST)             (and                 (instance ?TRAN Transfer)                 (instrument ?TRAN ?ROOT)                 (origin ?TRAN ?HOST)                 (orientation ?HOST ?ROOT Outside)                 (objectTransferred ?TRAN ?STUFF)                 (or                     (instance ?STUFF FreshWater)                     (instance ?STUFF Nutrient))))))	Mid-level-ontology.kif 10836-10848	If a physical is an instance of plant root, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of transfer and the physical is an instrument for the entity and the entity originates at the third entity and the third entity is outside to the physical and the object transferred in the entity is the other entity and the other entity is an instance of freshwater or the other entity is an instance of nutrient
(=>     (instance ?S Supercharger)     (hasPurpose ?S         (exists (?T ?IV ?A)             (and                 (instance ?T GasMotion)                 (origin ?T ?S)                 (instance ?IV IntakeValve)                 (destination ?T ?IV)                 (instance ?A Air)                 (objectTransferred ?T ?A)                 (holdsDuring                     (WhenFn ?T)                     (attribute ?A Pressurized))))))	Cars.kif 5253-5265	If a physical is an instance of supercharger, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of gas motion and the entity originates at the physical and the other entity is an instance of intake valve and the entity ends up at the other entity and the third entity is an instance of air and the object transferred in the entity is the third entity and pressurized is an attribute of the third entity holds during the time of existence of the entity
(=>     (instance ?S Waterspout)     (exists (?A ?R ?C ?F ?W)         (and             (instance ?A AirStream)             (instance ?R Rotating)             (patient ?R ?A)             (origin ?R ?C)             (instance ?C WaterCloud)             (part ?F ?C)             (shape ?F Cone)             (eventLocated ?R ?W)             (instance ?W BodyOfWater)             (connects ?F ?W ?C))))	Weather.kif 1034-1047	If an entity is an instance of waterspout, then there exist another entity, a process,, , an object,, , another object and a third object such that the other entity is an instance of air stream and the process is an instance of rotating and the other entity is a patient of the process and the process originates at the object and the object is an instance of water cloud and the other object is a part of the object and the other object is cone and the process is located at the third object and the third object is an instance of body of water and the other object connects the third object and the object
(=>     (instance ?SHOWER Shower)     (hasPurpose ?SHOWER         (exists (?SPRAY)             (and                 (instance ?SPRAY WaterMotion)                 (origin ?SPRAY ?SHOWER)))))	Mid-level-ontology.kif 2492-2498	If a physical is an instance of shower, then the physical has the purpose there exists an entity such that the entity is an instance of water motion and the entity originates at the physical
(=>     (instance ?SP SatellitePhone)     (hasPurpose ?SP         (exists (?RE ?S)             (and                 (instance ?S ArtificialSatellite)                 (instance ?RE RadioEmission)                 (origin ?RE ?SP)                 (destination ?RE ?SP)))))	Mid-level-ontology.kif 26738-26746	If a physical is an instance of satellite phone, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of artificial satellite and the entity is an instance of radio emission and the entity originates at the physical and the entity ends up at the physical
(=>     (instance ?STEM PlantStem)     (hasPurpose ?STEM         (exists (?TRAN ?ROOT ?SUB)             (and                 (instance ?TRAN Transfer)                 (instrument ?TRAN ?STEM)                 (instance ?ROOT PlantRoot)                 (origin ?TRAN ?ROOT)                 (instance ?SUB Substance)                 (attribute ?SUB Fluid)                 (objectTransferred ?TRAN ?SUB)))))	Mid-level-ontology.kif 10875-10886	If a physical is an instance of plant stem, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of transfer and the physical is an instrument for the entity and the other entity is an instance of plant root and the entity originates at the other entity and the third entity is an instance of substance and fluid is an attribute of the third entity and the object transferred in the entity is the third entity
(=>     (instance ?STORM TropicalCyclonicSystem)     (exists (?PLACE)         (and             (instance ?PLACE GeographicArea)             (geographicSubregion ?PLACE Tropics)             (origin ?STORM ?PLACE))))	Weather.kif 603-609	If a process is an instance of tropical cyclonic system, then there exists a geographic area such that the geographic area is an instance of geographic area and the geographic area is a geographic subregion of tropics and the process originates at the geographic area
(=>     (instance ?SUB Substituting)     (exists (?PUT ?REMOVE ?OBJ1 ?OBJ2 ?PLACE)         (and             (instance ?PUT Putting)             (instance ?REMOVE Removing)             (subProcess ?PUT ?SUB)             (subProcess ?REMOVE ?SUB)             (patient ?REMOVE ?OBJ1)             (origin ?REMOVE ?PLACE)             (patient ?PUT ?OBJ2)             (destination ?PUT ?PLACE)             (not                 (equal ?OBJ1 ?OBJ2)))))	Merge.kif 11604-11616	If a process is an instance of substituting, then there exist another process, a third process,, , an entity,, , another entity and an object such that the other process is an instance of putting and the third process is an instance of removing and the other process is a subprocess of the process and the third process is a subprocess of the process and the entity is a patient of the third process and the third process originates at the object and the other entity is a patient of the other process and the other process ends up at the object and equal the entity and the other entity
(=>     (instance ?SVC AirportShuttleService)     (exists (?AIRPORT ?TRANSPORT)         (and             (instance ?AIRPORT Airport)             (subProcess ?TRANSPORT ?SVC)             (instance ?TRANSPORT Transportation)             (or                 (destination ?TRANSPORT ?AIRPORT)                 (origin ?TRANSPORT ?AIRPORT)))))	Hotel.kif 2082-2091	If a process is an instance of airport shuttle, then there exist an object and another process such that the object is an instance of airport and the other process is a subprocess of the process and the other process is an instance of transportation and the other process ends up at the object or the other process originates at the object
(=>     (instance ?T Telemetry)     (exists (?REMOTELOCATION ?MEASURINGDEVICE ?RECEIVINGLOCATION ?RECEIVINGSTATION ?MEASURING ?MESSAGING)         (and             (instance ?MEASURING Measuring)             (instance ?MEASURINGDEVICE MeasuringDevice)             (instance ?REMOTELOCATION Region)             (instance ?RECEIVINGLOCATION Region)             (instance ?MESSAGING Messaging)             (subProcess ?MESSAGING ?T)             (subProcess ?MEASURING ?T)             (instance ?RECEIVINGSTATION ElectronicDataStorageDevice)             (agent ?MEASURING ?MEASURINGDEVICE)             (located ?MEASURINGDEVICE ?REMOTELOCATION)             (located ?RECEIVINGSTATION ?RECEIVINGLOCATION)             (eventLocated ?MEASURING ?REMOTELOCATION)             (not                 (equal ?RECEIVINGLOCATION ?REMOTELOCATION))             (origin ?MESSAGING ?MEASURINGDEVICE)             (destination ?MESSAGING ?RECEIVINGSTATION))))	Communications.kif 316-334	If a process is an instance of telemetry, then there exist an object, an agent,, , another object,, , a physical,, , another process and a third process such that the other process is an instance of measuring and the agent is an instance of measuring device and the object is an instance of region and the other object is an instance of region and the third process is an instance of messaging and the third process is a subprocess of the process and the other process is a subprocess of the process and the physical is an instance of electronic data storage device and the agent is an agent of the other process and the agent is located at the object and the physical is located at the other object and the other process is located at the object and equal the other object and the object and the third process originates at the agent and the third process ends up at the physical
(=>     (instance ?T Translocation)     (exists (?O ?D ?P)         (and             (instance ?O Object)             (instance ?D Object)             (instance ?P Object)             (path ?T ?P)             (origin ?T ?O)             (destination ?T ?D))))	Merge.kif 11719-11728	If a motion is an instance of translocation, then there exist an object, an entity and another object such that the object is an instance of object and the entity is an instance of object and the other object is an instance of object and the other object is path along which the motion occurs and the motion originates at the object and the motion ends up at the entity
(=>     (instance ?TA TranexamicAcid)     (hasPurpose ?TA         (exists (?P)             (and                 (instance ?P Human)                 (decreasesLikelihood                     (exists (?I)                         (and                             (instance ?I Ingesting)                             (objectTransferred ?I ?TA)                             (destination ?I ?P)))                     (exists (?P ?B)                         (and                             (instance ?P Human)                             (instance ?B Bleeding)                             (origin ?B ?P))))))))	Medicine.kif 1042-1058	If a physical is an instance of tranexamic acid, then the physical has the purpose there exists an entity such that the entity is an instance of human and there exists another entity such that the other entity is an instance of ingesting and the object transferred in the other entity is the physical and the other entity ends up at the entity decreases likelihood of there exist the entity and a third entity such that the entity is an instance of human and the third entity is an instance of bleeding and the third entity originates at the 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