(=>     (instance ?QUAKE EarthTremor)     (exists (?FAULT)         (and             (instance ?FAULT GeologicalFault)             (origin ?QUAKE ?FAULT))))	Geography.kif 2379-2384	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 2386-2391	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 9506-9518	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 5200-5212	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 ?SHOWER Shower)     (hasPurpose ?SHOWER         (exists (?SPRAY)             (and                 (instance ?SPRAY WaterMotion)                 (origin ?SPRAY ?SHOWER)))))	Mid-level-ontology.kif 2029-2035	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 25075-25083	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 9545-9556	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 615-621	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 11476-11488	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 the entity is not equal to 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 2071-2080	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 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 11591-11600	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 1050-1066	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
(=>     (instance ?TC TireChanger)     (hasPurpose ?TC         (exists (?RE ?T ?R)             (and                 (instance ?RE Removing)                 (instance ?T Tire)                 (instance ?R WheelRim)                 (origin ?RE ?R)                 (objectTransferred ?RE ?T)                 (instrument ?RE ?TC)))))	Cars.kif 4895-4905	If a physical is an instance of tire changer, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of removing and the other entity is an instance of tire and the third entity is an instance of rim and the entity originates at the third entity and the object transferred in the entity is the other entity and the physical is an instrument for the entity
(=>     (instance ?TELEX Telex)     (hasPurpose ?TELEX         (exists (?SYS ?TELEX2 ?MSG)             (and                 (instance ?SYS TelephoneSystem)                 (instance ?TELEX2 Telex)                 (instance ?MSG Messaging)                 (or                     (and                         (origin ?MSG ?TELEX)                         (destination ?MSG ?TELEX2))                     (and                         (origin ?MSG ?TELEX2)                         (destination ?MSG ?TELEX)))                 (path ?MSG ?SYS)))))	Communications.kif 185-200	If a physical is an instance of telex, then the physical has the purpose there exist an entity, the physical2 and a third entity such that the entity is an instance of telephone system and the physical2 is an instance of telex and the third entity is an instance of messaging and the third entity originates at the physical and the third entity ends up at the physical2 or the third entity originates at the physical2 and the third entity ends up at the physical and the entity is path along which the third entity occurs
(=>     (instance ?TRANS TransferSwitch)     (hasPurpose ?TRANS         (exists (?PROC ?POWER1 ?POWER2 ?E)             (and                 (instance ?PROC Process)                 (instance ?POWER1 PowerSource)                 (instance ?POWER2 PowerSource)                 (instance ?E Electricity)                 (instrument ?PROC ?TRANS)                 (holdsDuring                     (BeginFn                         (WhenFn ?PROC))                     (origin ?E ?POWER1))                 (holdsDuring                     (EndFn                         (WhenFn ?PROC))                     (origin ?E ?POWER1))                 (not                     (equal ?POWER1 ?POWER2))))))	engineering.kif 882-901	If a physical is an instance of transfer switch, 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 other entity is an instance of power source and the third entity is an instance of power source and the fourth entity is an instance of electricity and the physical is an instrument for the entity and the fourth entity originates at the other entity holds during the beginning of the time of existence of the entity and the fourth entity originates at the other entity holds during the end of the time of existence of the entity and the other entity is not equal to the third entity
(=>     (instance ?TW TapWater)     (exists (?LM ?F)         (and             (instance ?LM WaterMotion)             (patient ?LM ?TW)             (origin ?LM ?F)             (instance ?F Faucet))))	Food.kif 276-283	If an entity is an instance of tap water, then there exist a process and an object such that the process is an instance of water motion and the entity is a patient of the process and the process originates at the object and the object is an instance of faucet
(=>     (instance ?Transfer DataTransfer)     (exists (?Origin ?Destination ?System ?Data)         (and             (origin ?Transfer ?Origin)             (destination ?Transfer ?Destination)             (instrument ?Transfer ?System)             (patient ?Transfer ?Data)             (instance ?Data DigitalData)             (instance ?System HardwareSystem)             (instance ?Origin HardwareSystem)             (instance ?Destination ComputationalSystem))))	QoSontology.kif 95-106	If a process is an instance of data transfer, then there exist an object, an entity,, , another object and another entity such that the process originates at the object and the process ends up at the entity and the other object is an instrument for the process and the other entity is a patient of the process and the other entity is an instance of digital data and the other object is an instance of hardware system and the object is an instance of hardware system and the entity is an instance of computational system
(=>     (instance ?V Vending)     (exists (?VM)         (and             (instance ?VM VendingMachine)             (origin ?V ?VM))))	Mid-level-ontology.kif 1947-1952	If a process is an instance of vending, then there exists the processM such that the processM is an instance of vending machine and the process originates at the processM
(=>     (instance ?VM VendingMachine)     (hasPurpose ?VM         (exists (?H ?O ?V)             (and                 (instance ?V Vending)                 (instance ?H Human)                 (instance ?O Object)                 (objectTransferred ?V ?O)                 (instrument ?V ?VM)                 (origin ?V ?VM)                 (not                     (instance ?O Currency))                 (destination ?V ?H)))))	Mid-level-ontology.kif 1959-1972	If a physical is an instance of vending machine, then the physical has the purpose there exist an entity, another entity and a third entity such that the third entity is an instance of vending and the entity is an instance of human and the other entity is an instance of object and the object transferred in the third entity is the other entity and the physical is an instrument for the third entity and the third entity originates at the physical and the other entity is not an instance of currency and the third entity ends up at the entity
(=>     (instance ?W WaterSprinkler)     (hasPurpose ?W         (exists (?WM)             (and                 (instance ?WM WaterMotion)                 (origin ?WM ?W)))))	Mid-level-ontology.kif 25443-25449	If a physical is an instance of water sprinkler, then the physical has the purpose there exists the physicalM such that the physicalM is an instance of water motion and the physicalM originates at the physical
(=>     (instance ?Withdrawal Withdrawal)     (exists (?Account)         (and             (instance ?Account FinancialAccount)             (origin ?Withdrawal                 (CurrencyFn ?Account)))))	FinancialOntology.kif 459-464	If a process is an instance of withdrawal, then there exists a financial account such that the financial account is an instance of financial account and the process originates at the currency of the financial account
(=>     (instance ?X Earphone)     (hasPurpose ?X         (exists (?ES ?RS ?SIGNAL ?EAR ?PROC)             (and                 (instance ?ES ElectricalSignalling)                 (patient ?ES ?SIGNAL)                 (destination ?ES ?X)                 (instance ?PROC Process)                 (instrument ?PROC ?X)                 (patient ?PROC ?SIGNAL)                 (result ?PROC ?RS)                 (instance ?RS RadiatingSound)                 (origin ?RS ?X)                 (before                     (BeginFn                         (WhenFn ?ES))                     (BeginFn                         (WhenFn ?PROC)))                 (before                     (BeginFn                         (WhenFn ?PROC))                     (BeginFn                         (WhenFn ?RS)))                 (instance ?EAR Ear)                 (orientation ?X ?EAR Adjacent)))))	Mid-level-ontology.kif 26041-26062	If a physical is an instance of earphone, 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 electrical signalling and the third entity is a patient of the entity and the entity ends up at the physical and the fifth entity is an instance of process and the physical is an instrument for the fifth entity and the third entity is a patient of the fifth entity and the other entity is a result of the fifth entity and the other entity is an instance of radiating sound and the other entity originates at the physical and the beginning of the time of existence of the entity happens before the beginning of the time of existence of the fifth entity and the beginning of the time of existence of the fifth entity happens before the beginning of the time of existence of the other entity and the fourth entity is an instance of ear and the physical is adjacent to the fourth entity
(=>     (instance ?X FireSprinklerSystem)     (exists (?FIRE ?DISCOVER ?WM)         (and             (instance ?DISCOVER Discovering)             (instance ?FIRE Fire)             (instrument ?DISCOVER ?X)             (patient ?DISCOVER ?FIRE)             (instance ?WM WaterMotion)             (origin ?WM ?X)             (causes ?DISCOVER ?WM))))	Mid-level-ontology.kif 25465-25475	If an object is an instance of sprinkler system, then there exist an entity, a process and another process such that the process is an instance of discovering and the entity is an instance of fire and the object is an instrument for the process and the entity is a patient of the process and the other process is an instance of water motion and the other process originates at the object and the process causes the other process
(=>     (instance ?X OperatorAssistedTelephoneCommunication)     (exists (?ORIGIN ?DEST ?OPERATOR)         (and             (origin ?X ?ORIGIN)             (destination ?X ?DEST)             (instance ?OPERATOR Human)             (hasPurpose ?OPERATOR                 (exists (?PROC)                     (and                         (instance ?PROC IntentionalProcess)                         (agent ?PROC ?OPERATOR)                         (subProcess ?PROC ?X)                         (holdsDuring                             (ImmediateFutureFn                                 (WhenFn ?PROC))                             (modalAttribute                                 (exists (?COMM)                                     (and                                         (instance ?COMM Communication)                                         (origin ?COMM ?ORIGIN)                                         (destination ?COMM ?DEST))) Possibility))))))))	Mid-level-ontology.kif 27035-27057	If a process is an instance of operator assisted telephone communication, then there exist an object, an entity and a physical such that the process originates at the object and the process ends up at the entity and the physical is an instance of human and the physical has the purpose there exists another entity such that the other entity is an instance of intentional process and the physical is an agent of the other entity and the other entity is a subprocess of the process and the statement there exists a third entity such that the third entity is an instance of communication and the third entity originates at the object and the third entity ends up at the entity has the modal force of possibility holds during immediately after the time of existence of the other entity
(=>     (instance ?X TelephoneCommunication)     (exists (?TEL1 ?TEL2 ?ORIGIN ?DEST)         (and             (origin ?X ?ORIGIN)             (destination ?X ?DEST)             (siteForContact ?ORIGIN ?TEL1)             (siteForContact ?DEST ?TEL2)             (instance ?TEL1 Telephone)             (instance ?TEL2 Telephone)             (instrument ?X ?TEL1)             (instrument ?X ?TEL2))))	Mid-level-ontology.kif 27015-27026	If a process is an instance of telephone communication, then there exist an agent, another agent,, , a contact site and another contact site such that the process originates at the contact site and the process ends up at the other contact site and the agent can be contacted at the contact site and the other agent can be contacted at the other contact site and the agent is an instance of telephone and the other agent is an instance of telephone and the agent is an instrument for the process and the other agent is an instrument for the process
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