(=>     (and         (instance ?ATOM Thulium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 168.934 Amu)))	Mid-level-ontology.kif 28441-28445	If a physical is an instance of thulium and the physical is an instance of atom, then the measure of the physical is 168.934 amu(s)
(=>     (and         (instance ?ATOM Tin)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 118.69 Amu)))	Mid-level-ontology.kif 28084-28088	If a physical is an instance of tin and the physical is an instance of atom, then the measure of the physical is 118.69 amu(s)
(=>     (and         (instance ?ATOM Titanium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 47.90 Amu)))	Mid-level-ontology.kif 27611-27615	If a physical is an instance of titanium and the physical is an instance of atom, then the measure of the physical is 47.90 amu(s)
(=>     (and         (instance ?ATOM Tungsten)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 183.85 Amu)))	Mid-level-ontology.kif 28527-28531	If a physical is an instance of tungsten and the physical is an instance of atom, then the measure of the physical is 183.85 amu(s)
(=>     (and         (instance ?ATOM Unnildecium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 272 Amu)))	Mid-level-ontology.kif 29160-29164	If a physical is an instance of unnildecium and the physical is an instance of atom, then the measure of the physical is 272 amu(s)
(=>     (and         (instance ?ATOM Unnilhexium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 263 Amu)))	Mid-level-ontology.kif 29099-29103	If a physical is an instance of unnilhexium and the physical is an instance of atom, then the measure of the physical is 263 amu(s)
(=>     (and         (instance ?ATOM Unniloctium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 265 Amu)))	Mid-level-ontology.kif 29130-29134	If a physical is an instance of unniloctium and the physical is an instance of atom, then the measure of the physical is 265 amu(s)
(=>     (and         (instance ?ATOM Unnilpentium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 262 Amu)))	Mid-level-ontology.kif 29085-29089	If a physical is an instance of unnilpentium and the physical is an instance of atom, then the measure of the physical is 262 amu(s)
(=>     (and         (instance ?ATOM Unnilquadium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 261 Amu)))	Mid-level-ontology.kif 29068-29072	If a physical is an instance of unnilquadium and the physical is an instance of atom, then the measure of the physical is 261 amu(s)
(=>     (and         (instance ?ATOM Unnilseptium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 262 Amu)))	Mid-level-ontology.kif 29114-29118	If a physical is an instance of unnilseptium and the physical is an instance of atom, then the measure of the physical is 262 amu(s)
(=>     (and         (instance ?ATOM Uranium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 231 Amu)))	Mid-level-ontology.kif 28852-28856	If a physical is an instance of uranium and the physical is an instance of atom, then the measure of the physical is 231 amu(s)
(=>     (and         (instance ?ATOM Vanadium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 50.9415 Amu)))	Mid-level-ontology.kif 27627-27631	If a physical is an instance of vanadium and the physical is an instance of atom, then the measure of the physical is 50.9415 amu(s)
(=>     (and         (instance ?ATOM Xenon)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 131.30 Amu)))	Mid-level-ontology.kif 28151-28155	If a physical is an instance of xenon and the physical is an instance of atom, then the measure of the physical is 131.30 amu(s)
(=>     (and         (instance ?ATOM Ytterbium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 173.04 Amu)))	Mid-level-ontology.kif 28457-28461	If a physical is an instance of ytterbium and the physical is an instance of atom, then the measure of the physical is 173.04 amu(s)
(=>     (and         (instance ?ATOM Yttrium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 88.905 Amu)))	Mid-level-ontology.kif 27898-27902	If a physical is an instance of yttrium and the physical is an instance of atom, then the measure of the physical is 88.905 amu(s)
(=>     (and         (instance ?ATOM Zinc)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 65.38 Amu)))	Mid-level-ontology.kif 27747-27751	If a physical is an instance of zinc and the physical is an instance of atom, then the measure of the physical is 65.38 amu(s)
(=>     (and         (instance ?ATOM Zirconium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 91.22 Amu)))	Mid-level-ontology.kif 27915-27919	If a physical is an instance of zirconium and the physical is an instance of atom, then the measure of the physical is 91.22 amu(s)
(=>     (and         (instance ?Account FinancialAccount)         (minimumBalance ?Account OpeningAnAccount             (MeasureFn ?Balance ?U))         (instance ?U UnitOfCurrency))     (exists (?Payment ?Date ?Amount)         (and             (destination ?Payment                 (CurrencyFn ?Account))             (transactionAmount ?Payment                 (MeasureFn ?Amount ?U))             (greaterThanOrEqualTo ?Amount ?Balance)             (agreementEffectiveDate ?Account ?Date)             (date ?Payment ?Date))))	FinancialOntology.kif 686-699	If a financial account is an instance of financial account and the financial account is minimum balance opening an account for a real number an unit of measure(s) and the unit of measure is an instance of unit of currency, then there exist a financial transaction, a time point and another real number such that the financial transaction ends up at the currency of the financial account and the other real number the unit of measure(s) is a transaction amount of the financial transaction and the other real number is greater than or equal to the real number and the time point is an agreement effective date of the financial account and date of the financial transaction is the time point
(=>     (and         (instance ?B Braking)         (patient ?B ?O))     (and         (holdsDuring             (ImmediatePastFn                 (WhenFn ?B))             (equal                 (MeasureFn ?A1 MilesPerHour)                 (AccelerationFn ?FQ ?T ?O ?D)))         (holdsDuring             (ImmediateFutureFn                 (WhenFn ?B))             (equal                 (MeasureFn ?A2 MilesPerHour)                 (AccelerationFn ?FQ ?T ?O ?D)))         (greaterThan ?A1 ?A2)))	Cars.kif 1252-1267	If a process is an instance of braking and an entity is a patient of the process, then a real number miles per hour(s) is equal to the accelleration another entity of the entity in a third entity in the direction a fourth entity holds during immediately before the time of existence of the process and another real number miles per hour(s) is equal to the accelleration the other entity of the entity in the third entity in the direction the fourth entity holds during immediately after the time of existence of the process and the real number is greater than the other real number
(=>     (and         (instance ?B Object)         (roastedToTemperature ?B ?T))     (exists (?H)         (and             (instance ?H Heating)             (patient ?H ?B)             (holdsDuring                 (EndFn                     (WhenFn ?H))                 (measure ?B                     (MeasureFn ?T CelsiusDegree))))))	Food.kif 468-478	If a food is an instance of object and a real number is the temperature at which the food is roasted to, then there exists a process such that the process is an instance of heating and the food is a patient of the process and the measure of the food is the real number celsius degree(s) holds during the end of the time of existence of the process
(=>     (and         (instance ?Bond ZeroCouponBond)         (maturityDate             (AccountFn ?Bond) ?Date)         (possesses ?BondHolder ?Bond)         (principalAmount             (AccountFn ?Bond)             (MeasureFn ?Principal ?CUNIT))         (agreementPeriod             (AccountFn ?Bond) ?Period)         (interestEarned             (AccountFn ?Bond)             (MeasureFn ?Interest ?CUNIT) ?Period)         (equal ?Total             (AdditionFn ?Principal ?Interest)))     (exists (?Payment)         (and             (instance ?Payment Payment)             (destination ?Payment ?BondHolder)             (origin ?Payment                 (AccountFn ?Bond))             (transactionAmount ?Payment                 (MeasureFn ?Total ?CUNIT)))))	FinancialOntology.kif 2333-2355	If a financial asset is an instance of zero coupon bond and a day is a maturity date of the account of the financial asset and the financial assetHolder possesses the financial asset and a real number an unit of measure(s) is a principal amount of the account of the financial asset and a time interval is an agreement period of the account of the financial asset and the account of the financial asset is interest earned another real number the unit of measure(s) for the time interval and a third real number is equal to (the real number and the other real number), then there exists a financial transaction such that the financial transaction is an instance of payment and the financial transaction ends up at the financial assetHolder and the financial transaction originates at the account of the financial asset and the third real number the unit of measure(s) is a transaction amount of the financial transaction
(=>     (and         (instance ?C CheckingVitals)         (agent ?C ?A)         (patient ?C ?P)         (instance ?H Heart)         (part ?H ?P)         (instance ?L Lung)         (part ?L ?P)         (holdsDuring             (WhenFn ?C)             (and                 (systolicBloodPressure ?P ?SYS)                 (diastolicBloodPressure ?P ?DIA)                 (measure ?P                     (MeasureFn ?T FahrenheitDegree))))         (heartRate ?H             (WhenFn ?C) ?I)         (breathingRate ?L             (WhenFn ?C) ?R))     (knows ?A         (and             (holdsDuring                 (WhenFn ?C)                 (and                     (systolicBloodPressure ?P ?SYS)                     (diastolicBloodPressure ?P ?DIA)                     (measure ?P                         (MeasureFn ?T FahrenheitDegree))))             (heartRate ?H                 (WhenFn ?C) ?I)             (breathingRate ?L                 (WhenFn ?C) ?R))))	Medicine.kif 6505-6529	If a process is an instance of checking vitals and a cognitive agent is an agent of the process and an object is a patient of the process and a heart is an instance of heart and the heart is a part of the object and a lung is an instance of lung and the lung is a part of the object and the systolic blood pressure of the object is an entity and the diastolic blood pressure of the object is another entity and the measure of the object is a third entity fahrenheit degree(s) holds during the time of existence of the process and the heart beats at a rate of an integer beats per the time of existence of the process and the lung breathes at a rate of another integer breaths per the time of existence of the process, then the cognitive agent knows the systolic blood pressure of the object is the entity and the diastolic blood pressure of the object is the other entity and the measure of the object is the third entity fahrenheit degree(s) holds during the time of existence of the process and the heart beats at a rate of the integer beats per the time of existence of the process and the lung breathes at a rate of the other integer breaths per the time of existence of the process
(=>     (and         (instance ?C CurdlingMilk)         (instance ?M Milk)         (patient ?C ?M))     (exists (?PH ?D ?H ?L)         (and             (measure ?M                 (MeasureFn ?PH PHValue))             (instance ?D Decreasing)             (subProcess ?D ?C)             (patient ?D ?PH)             (holdsDuring                 (BeginFn                     (WhenFn ?D))                 (equal ?PH ?H)                 (approximateValue ?H 6.5))             (holdsDuring                 (EndFn                     (WhenFn ?D))                 (equal ?PH ?L)                 (approximateValue ?L 4.5)))))	Food.kif 3226-3247	If a process is an instance of curdling milk and a physical is an instance of milk and the physical is a patient of the process, then there exist a real number, another process,, , an entity and another entity such that the measure of the physical is the real number PH value(s) and the other process is an instance of decreasing and the other process is a subprocess of the process and the real number is a patient of the other process and the real number is equal to the entity holds during the beginning of the time of existence of the other process and the real number is equal to the other entity holds during the end of the time of existence of the other process
(=>     (and         (instance ?COOL Cooling)         (patient ?COOL ?OBJ))     (exists (?UNIT ?QUANT1 ?QUANT2)         (and             (instance ?UNIT TemperatureMeasure)             (holdsDuring                 (BeginFn                     (WhenFn ?COOL))                 (equal                     (MeasureFn ?OBJ ?UNIT) ?QUANT1))             (holdsDuring                 (EndFn                     (WhenFn ?COOL))                 (equal                     (MeasureFn ?OBJ ?UNIT) ?QUANT2))             (lessThan ?QUANT2 ?QUANT1))))	Merge.kif 10983-10996	If a process is an instance of cooling and an entity is a patient of the process, then there exist another entity, a real number and another real number such that the other entity is an instance of temperature measure and the entity the other entity(s) is equal to the real number holds during the beginning of the time of existence of the process and the entity the other entity(s) is equal to the other real number holds during the end of the time of existence of the process and the other real number is less than the real number
(=>     (and         (instance ?D Decelerating)         (agent ?D ?A))     (exists (?L1 ?L2 ?T1 ?T2 ?U1 ?U2)         (and             (holdsDuring                 (BeginFn                     (WhenFn ?D))                 (measure ?A                     (SpeedFn                         (MeasureFn ?L1 ?U1)                         (MeasureFn ?T1 ?U2))))             (holdsDuring                 (EndFn                     (WhenFn ?D))                 (measure ?A                     (SpeedFn                         (MeasureFn ?L2 ?U1)                         (MeasureFn ?T2 ?U2))))             (or                 (greaterThan ?L1 ?L2)                 (greaterThan ?T1 ?T2)))))	Mid-level-ontology.kif 17170-17190	If a process is an instance of decelerating and an agent is an agent of the process, then there exist a real number, another real number,, , a third real number,, , a fourth real number,, , an entity and another entity such that the measure of the agent is the real number the entity(s) per the third real number the other entity(s) holds during the beginning of the time of existence of the process and the measure of the agent is the other real number the entity(s) per the fourth real number the other entity(s) holds during the end of the time of existence of the process and the real number is greater than the other real number or the third real number is greater than the fourth real number
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