consequent

(<=>     (attribute ?WATER OpenSea)     (exists (?LAND ?DIST)         (and             (instance ?WATER SaltWaterArea)             (not                 (instance ?WATER LandlockedWater))             (distance ?LAND ?WATER                 (MeasureFn ?DIST NauticalMile))             (greaterThan ?DIST 5.0))))	Geography.kif 6250-6259	Open sea is an attribute of an object if and only if there exist a physical and a real number such that the object is an instance of salt water area and the object is not an instance of landlocked water and the distance between the physical and the object is the real number nautical mile(s) and the real number is greater than 5.0
(<=>     (average ?LIST1 ?AVERAGE)     (exists (?LIST2 ?LASTPLACE)         (and             (equal                 (ListLengthFn ?LIST2)                 (ListLengthFn ?LIST1))             (equal                 (ListOrderFn ?LIST2 1)                 (ListOrderFn ?LIST1 1))             (forall (?ITEMFROM2)                 (=>                     (inList ?ITEMFROM2 ?LIST2)                     (exists (?POSITION ?POSITIONMINUSONE ?ITEMFROM1 ?PRIORFROM2)                         (and                             (greaterThan ?POSITION 1)                             (lessThanOrEqualTo ?POSITION                                 (ListLengthFn ?LIST2))                             (equal                                 (ListOrderFn ?LIST2 ?ITEMFROM2) ?POSITION)                             (inList ?ITEMFROM1 ?LIST1)                             (equal ?POSITION                                 (ListOrderFn ?LIST1 ?ITEMFROM1))                             (inList ?PRIORFROM2 ?LIST2)                             (equal ?POSITIONMINUSONE                                 (SubtractionFn ?POSITION 1))                             (equal ?POSITIONMINUSONE                                 (ListOrderFn ?LIST2 ?PRIORFROM2))                             (equal ?ITEMFROM2                                 (AdditionFn ?ITEMFROM1 ?PRIORFROM2))))))             (equal ?LASTPLACE                 (ListLengthFn ?LIST2))             (equal ?AVERAGE                 (DivisionFn                     (ListOrderFn ?LIST2 ?LASTPLACE) ?LASTPLACE)))))	People.kif 272-293	A real number is an average of a list if and only if there exist another list and a positive integer such that equal length of the other list and length of the list and equal 1th element of the other list and 1th element of the list and for all another positive integer if the other positive integer is a member of the other list, then there exist another real number, the other real numberMINUSONE,, , a third positive integer and a fourth positive integer such that the other real number is greater than 1 and the other real number is less than or equal to length of the other list and equal the other positive integerth element of the other list and the other real number and the third positive integer is a member of the list and equal the other real number and the third positive integerth element of the list and the fourth positive integer is a member of the other list and equal the other real numberMINUSONE and (the other real number and 1) and equal the other real numberMINUSONE and the fourth positive integerth element of the other list and equal the other positive integer and (the third positive integer and the fourth positive integer) and equal the positive integer and length of the other list and equal the real number and the positive integerth element of the other list and the positive integer
(<=>     (instance ?NUMBER PositiveRealNumber)     (and         (greaterThan ?NUMBER 0)         (instance ?NUMBER RealNumber)))	Merge.kif 1973-1977	A real number is an instance of positive real number if and only if the real number is greater than 0 and the real number is an instance of real number
(<=>     (larger ?OBJ1 ?OBJ2)     (forall (?QUANT1 ?QUANT2 ?UNIT)         (=>             (and                 (measure ?OBJ1                     (MeasureFn ?QUANT1 ?UNIT))                 (measure ?OBJ2                     (MeasureFn ?QUANT2 ?UNIT))                 (instance ?UNIT UnitOfLength))             (greaterThan ?QUANT1 ?QUANT2))))	Merge.kif 7868-7876	An object is larger than another object if and only if for all a real number, another real number and an unit of measure if the measure of the object is the real number the unit of measure(s) and the measure of the other object is the other real number the unit of measure(s) and the unit of measure is an instance of unit of length, then the real number is greater than the other real number
(=>     (and         (attribute ?AREA FlatTerrain)         (part ?ZONE ?AREA)         (slopeGradient ?ZONE ?SLOPE))     (greaterThan 0.005 ?SLOPE))	Geography.kif 3209-3214	If flat terrain is an attribute of an object and a land area is a part of the object and a nonnegative real number is a slope gradient of the land area, then 0.005 is greater than the nonnegative real number
(=>     (and         (attribute ?AREA LowTerrain)         (part ?ZONE ?AREA)         (slopeGradient ?ZONE ?SLOPE))     (greaterThan 0.03 ?SLOPE))	Geography.kif 3221-3226	If low terrain is an attribute of an object and a land area is a part of the object and a nonnegative real number is a slope gradient of the land area, then 0.03 is greater than the nonnegative real number
(=>     (and         (attribute ?FOOD1 FamilyStylePortion)         (measure ?FOOD1             (MeasureFn ?MEAS1 ?U))         (not             (attribute ?FOOD2 FamilyStylePortion))         (measure ?FOOD2             (MeasureFn ?MEAS2 ?U))         (instance ?FOOD1 ?CLASS)         (instance ?FOOD2 ?CLASS)         (instance ?U UnitOfMeasure))     (greaterThan ?MEAS1 ?MEAS2))	Dining.kif 1165-1176	If family_style portions is an attribute of an object and the measure of the object is a real number an unit of measure(s) and family_style portions is not an attribute of another object and the measure of the other object is another real number the unit of measure(s) and the object is an instance of a class and the other object is an instance of the class and the unit of measure is an instance of unit of measure, then the real number is greater than the other real number
(=>     (and         (attribute ?H Muslim)         (equal             (WealthFn ?H) ?W))     (modalAttribute         (exists (?Z ?T ?U ?Y ?C)             (and                 (instance ?Z Zakat)                 (instance ?Y Year)                 (during ?Y                     (WhenFn ?H))                 (holdsDuring ?Y                     (attribute ?H FullyFormed))                 (agent ?Z ?H)                 (patient ?Z ?T)                 (monetaryValue ?T                     (MeasureFn ?C ?U))                 (instance ?U UnitOfCurrency)                 (greaterThan ?C                     (MultiplicationFn ?W 0.025)))) Obligation))	ArabicCulture.kif 204-223	If muslim is an attribute of an agent and equal value of belongings of the agent and a currency measure, then the statement there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of zakat and the fourth entity is an instance of year and the fourth entity takes place during the time of existence of the agent and fully formed is an attribute of the agent holds during the fourth entity and the agent is an agent of the entity and the other entity is a patient of the entity and value of the other entity is the fifth entity the third entity(s) and the third entity is an instance of unit of currency and the fifth entity is greater than the currency measure and 0.025 has the modal force of obligation
(=>     (and         (attribute ?H1 ADHD)         (not             (attribute ?H2 ADHD))         (not             (equal ?H1 ?H2))         (instance ?I1 ?IC)         (instance ?I2 ?IC)         (subclass ?IC IntentionalPsychologicalProcess)         (agent ?I1 ?H1)         (agent ?I2 ?H2)         (duration             (WhenFn ?I1) ?D1)         (duration             (WhenFn ?I2) ?D2))     (modalAttribute         (greaterThan ?D2 ?D1) Likely))	Medicine.kif 3976-3996	If attention deficit hyperactivity disorder is an attribute of an agent and attention deficit hyperactivity disorder is not an attribute of another agent and equal the agent and the other agent and a process is an instance of a class and another process is an instance of the class and the class is a subclass of intentional psychological process and the agent is an agent of the process and the other agent is an agent of the other process and duration of the time of existence of the process is a time duration and duration of the time of existence of the other process is another time duration, then the statement the other time duration is greater than the time duration has the modal force of likely
(=>     (and         (attribute ?ROOM Oversized)         (immediateInstance ?ROOM ?HOTELUNIT)         (subclass ?HOTELUNIT HotelUnit))     (exists (?NORMAL ?AREA1 ?AREA2 ?U)         (and             (immediateInstance ?NORMAL ?HOTELUNIT)             (instance ?U UnitOfArea)             (measure ?NORMAL                 (MeasureFn ?AREA1 ?U))             (measure ?ROOM                 (MeasureFn ?AREA2 ?U))             (instance ?AREA1 AreaMeasure)             (instance ?AREA2 AreaMeasure)             (greaterThan ?AREA2 ?AREA1))))	Hotel.kif 1194-1209	If oversized is an attribute of an object and the object is an immediate instance of a class and the class is a subclass of hotel unit, then there exist a physical, a real number,, , another real number and an unit of measure such that the physical is an immediate instance of the class and the unit of measure is an instance of unit of area and the measure of the physical is the real number the unit of measure(s) and the measure of the object is the other real number the unit of measure(s) and the real number is an instance of area measure and the other real number is an instance of area measure and the other real number is greater than the real number
(=>     (and         (attribute ?W Windy)         (located ?W ?L)         (equal ?T             (WhenFn ?W))         (holdsDuring ?T             (surfaceWindSpeed ?L                 (MeasureFn ?N MilesPerHour))))     (greaterThan ?N 20.0))	Merge.kif 11436-11444	If windy is an attribute of an object and the object is located at another object and equal a time interval and the time of existence of the object and a real number miles per hour(s) is a surface wind speed of the other object holds during the time interval, then the real number is greater than 20.0
(=>     (and         (birthdate ?A ?DAY)         (instance ?DAY             (DayFn ?D                 (MonthFn ?M                     (YearFn ?Y)))))     (exists (?CLASS ?FUTURE)         (and             (birthday ?A ?CLASS)             (subclass ?CLASS Day)             (instance ?FUTURE Integer)             (equal ?CLASS                 (DayFn ?D                     (MonthFn ?M                         (YearFn ?FUTURE))))             (greaterThan ?FUTURE ?Y))))	Mid-level-ontology.kif 26385-26395	If a day is a birthdate of a human and the day is an instance of the day a positive integer of month the month a kind of month, then there exist another kind of day and an integer such that the human's birthday is another kind of day and the other kind of day is a subclass of day and the integer is an instance of integer and equal the other kind of day and the day the positive integer of month the month a kind of month and the integer is greater than another integer
(=>     (and         (capitalExpendituresOfAreaInPeriod ?AREA             (MeasureFn ?CAPAMOUNT ?UNIT) ?PERIOD)         (annualExpendituresOfAreaInPeriod ?AREA             (MeasureFn ?TOTALAMOUNT ?UNIT) ?PERIOD))     (greaterThan ?TOTALAMOUNT ?CAPAMOUNT))	Economy.kif 1658-1664	If a geopolitical area capital expenditures of area in period a real number an unit of measure(s) for a kind of time interval and the geopolitical area annual expenditures of area in period another real number the unit of measure(s) for a kind of time interval, then the other real number is greater than the real number
(=>     (and         (climateTypeInArea ?AREA ColdClimateZone)         (forall (?MO)             (and                 (instance ?MO Month)                 (averageTemperatureForPeriod ?AREA ?MO                     (MeasureFn ?TEMP CelsiusDegree)))))     (greaterThan 10.0 ?TEMP))	Geography.kif 2983-2991	If cold climate zone is a climate type in area of a geographic area and for all a time interval the time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s), then 10.0 is greater than the real number
(=>     (and         (climateTypeInArea ?AREA PolarTypeFClimateZone)         (instance ?TIME TimePosition)         (holdsDuring ?TIME             (airTemperature ?AREA                 (MeasureFn ?TEMP CelsiusDegree))))     (holdsDuring ?TIME         (greaterThan 10.0 ?TEMP)))	Geography.kif 3058-3064	If polar typeF climate zone is a climate type in area of a geographic area and a time position is an instance of time position and an entity celsius degree(s) is an air temperature of the geographic area holds during the time position, then 10.0 is greater than the entity holds during the time position
(=>     (and         (dampingRatio ?P ?R)         (greaterThan ?R 0)         (instance ?T Tremor)         (patient ?T ?P)         (instance ?U UnitOfLength)         (holdsDuring ?T1             (physicalAmplitude ?T                 (MeasureFn ?A1 ?U)))         (holdsDuring ?T2             (physicalAmplitude ?T                 (MeasureFn ?A2 ?U)))         (during ?T1             (WhenFn ?T))         (during ?T2             (WhenFn ?T))         (earlier ?T1 ?T2))     (greaterThan ?A1 ?A2))	Cars.kif 809-825	If the damping ratio of a physical system is a real number and the real number is greater than 0 and a process is an instance of tremor and the physical system is a patient of the process and an entity is an instance of unit of length and the amplitude the process is another real number the entity(s) holds during the process1 and the amplitude the process is a third real number the entity(s) holds during the process2 and the process1 takes place during the time of existence of the process and the process2 takes place during the time of existence of the process and the process1 happens earlier than the process2, then the other real number is greater than the third real number
(=>     (and         (defaultMaxValue ?REL ?ARG ?N)         (?REL @ARGS)         (equal ?VAL             (ListOrderFn                 (ListFn @ARGS) ?ARG)))     (modalAttribute         (greaterThan ?N ?VAL) Likely))	Merge.kif 18662-18667	If The defalutMaxValue of a predicate with a positive integer arguments is a quantity. and the predicate @ARGS and equal another entity and the positive integerth element of (@ARGS), then the statement the quantity is greater than the other entity has the modal force of likely
(=>     (and         (defaultMaximumMeasure ?OBJECT             (MeasureFn ?Q ?UNIT))         (instance ?UNIT CompositeUnitOfMeasure))     (modalAttribute         (exists (?INST ?QUANTITY)             (and                 (instance ?INST ?OBJECT)                 (measure ?INST                     (MeasureFn ?QUANTITY ?UNIT))                 (greaterThan ?QUANTITY ?Q))) Unlikely))	Mid-level-ontology.kif 14954-14963	If the maximum expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of composite unit of measure, then the statement there exist an entity and the real numberUANTITY such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is greater than the real number has the modal force of unlikely
(=>     (and         (defaultMaximumMeasure ?OBJECT             (MeasureFn ?Q ?UNIT1))         (subclass ?UNITCLASS NonCompositeUnitOfMeasure)         (instance ?UNIT1 ?UNITCLASS))     (modalAttribute         (exists (?INST ?QUANTITY ?UNIT2)             (and                 (instance ?INST ?OBJECT)                 (measure ?INST                     (MeasureFn ?QUANTITY ?UNIT2))                 (instance ?UNIT2 ?UNITCLASS)                 (greaterThan                     (MeasureFn ?QUANTITY ?UNIT2)                     (MeasureFn ?Q ?UNIT1)))) Unlikely))	Mid-level-ontology.kif 14965-14976	If the maximum expected value of a kind of object is a real number an unit of measure(s) and a class is a subclass of non composite unit of measure and the unit of measure is an instance of the class, then the statement there exist an entity, the real numberUANTITY and a third entity such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the third entity(s) and the third entity is an instance of the class and the real numberUANTITY the third entity(s) is greater than the real number the unit of measure(s) has the modal force of unlikely
(=>     (and         (defaultMaximumSphereRadius ?OBJECT             (MeasureFn ?R ?U))         (instance ?INST ?OBJECT)         (attribute ?INST Sphere))     (modalAttribute         (exists (?RADIUS)             (and                 (sphereRadius ?INST                     (MeasureFn ?RADIUS ?U))                 (greaterThan ?RADIUS ?R))) Unlikely))	Mid-level-ontology.kif 14904-14915	If the maximum expected radius of a kind of object is a real number an unit of measure(s) and another object is an instance of a kind of object and sphere is an attribute of the other object, then the statement there exists the real numberADIUS such that the radius of the other object is the real numberADIUS the unit of measure(s) and the real numberADIUS is greater than the real number has the modal force of unlikely
(=>     (and         (defaultMeasure ?OBJECT             (MeasureFn ?Q ?UNIT))         (instance ?UNIT CompositeUnitOfMeasure))     (modalAttribute         (exists (?INST ?QUANTITY)             (and                 (instance ?INST ?OBJECT)                 (measure ?INST                     (MeasureFn ?QUANTITY ?UNIT))                 (greaterThan ?QUANTITY                     (MultiplicationFn ?Q 1.5)))) Unlikely))	Mid-level-ontology.kif 14984-14993	If the expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of composite unit of measure, then the statement there exist an entity and the real numberUANTITY such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is greater than the real number and 1.5 has the modal force of unlikely
(=>     (and         (defaultMinValue ?REL ?ARG ?N)         (?REL @ARGS)         (equal ?VAL             (ListOrderFn                 (ListFn @ARGS) ?ARG)))     (modalAttribute         (greaterThan ?VAL ?N) Likely))	Merge.kif 18645-18650	If The defaultMinValue of a predicate with a positive integer arguments is a quantity. and the predicate @ARGS and equal another entity and the positive integerth element of (@ARGS), then the statement the other entity is greater than the quantity has the modal force of likely
(=>     (and         (engineIdleSpeed ?E             (RotationFn                 (MeasureFn ?N1 MilesPerHour) ?M))         (instance ?A Automobile)         (instance ?P GasPedal)         (instance ?P Pushing)         (destination ?P ?GP)         (part ?E ?A)         (part ?GP ?A)         (instance ?C Crankshaft)         (part ?C ?E)         (holdsDuring             (WhenFn ?P)             (measure ?C                 (RotationFn                     (MeasureFn ?N2 MilesPerHour) ?M))))     (modalAttribute         (greaterThan ?N2 ?N1) Likely))	Cars.kif 2569-2587	If the idle speed of an internal combustion engine is the rotation of a real number miles per hour(s) during a time duration and an object is an instance of automobile and a process is an instance of gas pedal and the process is an instance of pushing and the process ends up at another object and the internal combustion engine is a part of the object and the other object is a part of the object and a third object is an instance of crankshaft and the third object is a part of the internal combustion engine and the measure of the third object is the rotation of an entity miles per hour(s) during the time duration holds during the time of existence of the process, then the statement the entity is greater than the real number has the modal force of likely
(=>     (and         (equal             (GreatestCommonDivisorFn @ROW) ?NUMBER)         (not             (equal ?NUMBER 0)))     (not         (exists (?GREATER)             (and                 (greaterThan ?GREATER ?NUMBER)                 (forall (?ELEMENT)                     (=>                         (inList ?ELEMENT                             (ListFn @ROW))                         (equal                             (RemainderFn ?ELEMENT ?GREATER) 0)))))))	Merge.kif 4927-4941	If equal the greatest common divisor of @ROW and an integer and equal the integer and 0, then there doesn't exist another integer such that the other integer is greater than the integer and for all a third integer if the third integer is a member of (@ROW), then equal the third integer mod the other integer and 0
(=>     (and         (equal ?DEP             (DepartmentOfFn ?COMP ?PHYS))         (subOrganization ?DEP2 ?COMP)         (not             (equal ?DEP ?DEP2))         (instance ?I ?PHYS)         (inScopeOfInterest ?DEP ?I)         (equal ?P1             (ProbabilityFn                 (agent ?P ?DEP)))         (equal ?P2             (ProbabilityFn                 (agent ?P ?DEP2))))     (greaterThan ?P1 ?P2))	Mid-level-ontology.kif 20068-20083	If equal an organization and the department of a kind of physical in another organization and the organization2 is a part of the organization the other organization and equal the organization and the organization2 and an entity is an instance of a kind of physical and the organization is interested in the entity and equal a real number and the probability of the organization is an agent of another entity and equal the other entity2 and the probability of the organization2 is an agent of the other entity, then the real number is greater than the other entity2
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