consequent

(=>     (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 14865-14874	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 14876-14887	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 14815-14826	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 14895-14904	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         (defaultMeasure ?OBJECT             (MeasureFn ?Q ?UNIT))         (instance ?UNIT CompositeUnitOfMeasure))     (modalAttribute         (exists (?INST ?QUANTITY)             (and                 (instance ?INST ?OBJECT)                 (measure ?INST                     (MeasureFn ?QUANTITY ?UNIT))                 (lessThan ?QUANTITY                     (MultiplicationFn ?Q 0.5)))) Unlikely))	Mid-level-ontology.kif 14906-14915	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 less than the real number and 0.5 has the modal force of unlikely
(=>     (and         (defaultMinimumMeasure ?OBJECT             (MeasureFn ?Q ?UNIT))         (instance ?UNIT CompositeUnitOfMeasure))     (modalAttribute         (exists (?INST ?QUANTITY)             (and                 (instance ?INST ?OBJECT)                 (measure ?INST                     (MeasureFn ?QUANTITY ?UNIT))                 (lessThan ?QUANTITY ?Q))) Unlikely))	Mid-level-ontology.kif 14834-14843	If the minimum 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 less than the real number has the modal force of unlikely
(=>     (and         (defaultMinimumMeasure ?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)                 (lessThan ?QUANTITY ?Q))) Unlikely))	Mid-level-ontology.kif 14845-14856	If the minimum 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 is less than the real number has the modal force of unlikely
(=>     (and         (defaultMinimumSphereRadius ?OBJECT             (MeasureFn ?R ?U))         (instance ?INST ?OBJECT)         (attribute ?INST Sphere))     (modalAttribute         (exists (?RADIUS)             (and                 (sphereRadius ?INST                     (MeasureFn ?RADIUS ?U))                 (lessThan ?RADIUS ?R))) Unlikely))	Mid-level-ontology.kif 14796-14806	If the minimum 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 less than the real number has the modal force of unlikely
(=>     (and         (instance ?CA COVIDAntibody)         (holdsDuring ?T             (and                 (not                     (attribute ?H Covid19))                 (part ?CA ?H))))     (holdsDuring         (ImmediateFutureFn ?T)         (modalAttribute             (attribute ?H Covid19) Unlikely)))	Medicine.kif 2785-2797	If an entity is an instance of COVID antibody and Covid is not an attribute of another entity and the entity is a part of the other entity holds during a time position, then the statement Covid is an attribute of the other entity has the modal force of unlikely holds during immediately after the time position
(=>     (and         (instance ?F Facility)         (attribute ?F PhysicallyRestrictedRegion))     (modalAttribute         (exists (?E ?R)             (and                 (or                     (instance ?E Entering)                     (instance ?E Exiting))                 (path ?E ?R)                 (not                     (entrance ?R ?F)))) Unlikely))	Mid-level-ontology.kif 7824-7836	If an object is an instance of Facility and physically restricted region is an attribute of the object, then the statement there exist an entity and another entity such that the entity is an instance of entering or the entity is an instance of exiting and the other entity is path along which the entity occurs and not the other entity is the entrance for the object has the modal force of unlikely
(=>     (and         (instance ?F Flooding)         (instance ?L LandArea)         (eventLocated ?F ?L)         (instance ?T TimePoint)         (before ?T             (WhenFn ?F)))     (modalAttribute         (holdsDuring ?T             (instance ?L SubmergedLandArea)) Unlikely))	Weather.kif 2922-2932	If a process is an instance of flooding and an object is an instance of land area and the process is located at the object and a time point is an instance of time point and the time point happens before the time of existence of the process, then the statement the object is an instance of submerged land area holds during the time point has the modal force of unlikely
(=>     (and         (instance ?I Ingesting)         (experiencer ?I ?H)         (objectTransferred ?I ?MS)         (instance ?MS MoodStabilizer)         (instance ?E ?EC)         (involvedInEvent ?E ?H)         (holdsDuring             (WhenFn ?E)             (attribute ?H ?ES))         (instance ?ES EmotionalState)         (instance ?E2 ?EC)         (involvedInEvent ?E2 ?H)         (earlier             (WhenFn ?E2)             (WhenFn ?I)))     (modalAttribute         (not             (holdsDuring ?E2                 (attribute ?H ?ES))) Unlikely))	Mid-level-ontology.kif 11097-11118	If a transfer is an instance of ingesting and an agent experiences the transfer and the object transferred in the transfer is an object and the object is an instance of mood stabilizer and a process is an instance of the processC and the agent is an involved in event of the process and the processS is an attribute of the agent holds during the time of existence of the process and the processS is an instance of emotional state and the process2 is an instance of the processC and the agent is an involved in event of the process2 and the time of existence of the process2 happens earlier than the time of existence of the transfer, then the statement the processS is an attribute of the agent doesn't hold during the process2 has the modal force of unlikely
(=>     (and         (instance ?LD LiquidDrop)         (surface ?S ?LD))     (modalAttribute         (exists (?SS ?LL)             (and                 (instance ?LL Substance)                 (attribute ?LL Liquid)                 (not                     (equal ?LD ?LL))                 (surface ?SS ?LL)                 (meetsSpatially ?S ?SS))) Unlikely))	Geography.kif 9067-9079	If a self connected object is an instance of liquid drop and another self connected object is a surface of the self connected object, then the statement there exist the other self connected objectS and another entity such that the other entity is an instance of substance and liquid is an attribute of the other entity and equal the self connected object and the other entity and the other self connected objectS is a surface of the other entity and the other self connected object meets the other self connected objectS has the modal force of unlikely
(=>     (approximateValue ?N1 ?N2)     (modalAttribute         (greaterThan 0.9             (DivisionFn ?N1 ?N2)) Unlikely))	Mid-level-ontology.kif 31725-31731	If the approximate value of a real number is another real number, then the statement 0.9 is greater than the real number and the other real number has the modal force of unlikely
(=>     (approximateValue ?N1 ?N2)     (modalAttribute         (greaterThan 0.9             (DivisionFn ?N2 ?N1)) Unlikely))	Mid-level-ontology.kif 31733-31739	If the approximate value of a real number is another real number, then the statement 0.9 is greater than the other real number and the real number has the modal force of unlikely
(=>     (checkInTime ?HOTEL ?TIME)     (modalAttribute         (exists (?T ?C)             (and                 (instance ?T ?TIME)                 (instance ?C CheckInService)                 (agent ?C ?HOTEL)                 (before                     (BeginFn                         (WhenFn ?C)) ?T))) Unlikely))	Hotel.kif 671-679	If an organization allows checkins after a kind of time point, then the statement there exist an entity and another entity such that the entity is an instance of a kind of time point and the other entity is an instance of check-in service and the organization is an agent of the other entity and the beginning of the time of existence of the other entity happens before the entity has the modal force of unlikely
(=>     (defaultMaximumHeight ?OBJECT         (MeasureFn ?H ?U))     (modalAttribute         (exists (?INST ?HEIGHT)             (and                 (instance ?INST ?OBJECT)                 (height ?INST                     (MeasureFn ?HEIGHT ?U))                 (greaterThan ?HEIGHT ?H))) Unlikely))	Mid-level-ontology.kif 14694-14703	If the maximum expected height of a kind of object is a real number an unit of measure(s), then the statement there exist an entity and the real numberEIGHT such that the entity is an instance of a kind of object and the height of the entity is the real numberEIGHT the unit of measure(s) and the real numberEIGHT is greater than the real number has the modal force of unlikely
(=>     (defaultMaximumLength ?O         (MeasureFn ?L ?U))     (modalAttribute         (exists (?INST ?LENGTH)             (and                 (instance ?INST ?O)                 (length ?INST                     (MeasureFn ?LENGTH ?U))                 (greaterThan ?LENGTH ?U))) Unlikely))	Mid-level-ontology.kif 14760-14769	If the maximum expected length of a kind of object is a real number an unit of measure(s), then the statement there exist an entity and the real numberENGTH such that the entity is an instance of a kind of object and the length of the entity is the real numberENGTH the unit of measure(s) and the real numberENGTH is greater than the unit of measure has the modal force of unlikely
(=>     (defaultMaximumWidth ?OBJECT         (MeasureFn ?W ?U))     (modalAttribute         (exists (?INST ?WIDTH)             (and                 (instance ?INST ?OBJECT)                 (width ?INST                     (MeasureFn ?WIDTH ?U))                 (greaterThan ?WIDTH ?W))) Unlikely))	Mid-level-ontology.kif 14727-14736	If the maximum expected width of a kind of object is a real number an unit of measure(s), then the statement there exist an entity and the real numberIDTH such that the entity is an instance of a kind of object and the width of the entity is the real numberIDTH the unit of measure(s) and the real numberIDTH is greater than the real number has the modal force of unlikely
(=>     (defaultMinimumHeight ?OBJECT         (MeasureFn ?H ?U))     (modalAttribute         (exists (?INST ?HEIGHT)             (and                 (instance ?INST ?OBJECT)                 (height ?INST                     (MeasureFn ?HEIGHT ?U))                 (lessThan ?HEIGHT ?H))) Unlikely))	Mid-level-ontology.kif 14678-14686	If the minimum expected height of a kind of object is a real number an unit of measure(s), then the statement there exist an entity and the real numberEIGHT such that the entity is an instance of a kind of object and the height of the entity is the real numberEIGHT the unit of measure(s) and the real numberEIGHT is less than the real number has the modal force of unlikely
(=>     (defaultMinimumLength ?OBJECT         (MeasureFn ?L ?U))     (modalAttribute         (exists (?INST ?LENGTH)             (and                 (instance ?INST ?OBJECT)                 (length ?INST                     (MeasureFn ?LENGTH ?U))                 (lessThan ?LENGTH ?L))) Unlikely))	Mid-level-ontology.kif 14744-14752	If the minimum expected length of a kind of object is a real number an unit of measure(s), then the statement there exist an entity and the real numberENGTH such that the entity is an instance of a kind of object and the length of the entity is the real numberENGTH the unit of measure(s) and the real numberENGTH is less than the real number has the modal force of unlikely
(=>     (defaultMinimumWidth ?OBJECT         (MeasureFn ?W ?U))     (modalAttribute         (exists (?INST ?WIDTH)             (and                 (instance ?INST ?OBJECT)                 (width ?INST                     (MeasureFn ?WIDTH ?U))                 (lessThan ?WIDTH ?W))) Unlikely))	Mid-level-ontology.kif 14711-14719	If the minimum expected width of a kind of object is a real number an unit of measure(s), then the statement there exist an entity and the real numberIDTH such that the entity is an instance of a kind of object and the width of the entity is the real numberIDTH the unit of measure(s) and the real numberIDTH is less than the real number has the modal force of unlikely
(=>     (distrusts ?A1 ?A2 ?P)     (believes ?A1         (modalAttribute             (exists (?PI)                 (and                     (instance ?PI ?P)                     (agent ?PI ?A2))) Unlikely)))	Law.kif 428-436	If a cognitive agent distrusts an agent will do a kind of intentional process, then the cognitive agent believes the statement there exists a kind of intentional processI such that the kind of intentional processI is an instance of the kind of intentional process and the agent is an agent of the kind of intentional processI has the modal force of unlikely

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