Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Unlikely
Unlikely(unlikely)chancy, contingent, farfetched, flukey, fluky, iffy, implausible, impossible, improbable, inconceivable, last, mathematical, out_of_the_blue, out_of_the_question, outside, remote, unanticipated, unbelievable, uncertain, unconvincing, unexpected, unforeseen, unhoped, unhoped-for, unimaginable, unlikely, unlooked-for, unthought, unthought-of, upset

appearance as argument number 1
-------------------------


(instance Unlikely ProbabilityAttribute) Merge.kif 17758-17758 Unlikely is an instance of probability attribute
(documentation Unlikely EnglishLanguage "The ProbabilityAttribute of being improbable, i.e. more likely than not to be False.") Merge.kif 17759-17760 Unlikely is an instance of probability attribute

appearance as argument number 2
-------------------------


(contraryAttribute Likely Unlikely) Merge.kif 17746-17746 Likely is the opposite of unlikely
(termFormat EnglishLanguage Unlikely "unlikely") domainEnglishFormat.kif 60461-60461 Likely is the opposite of unlikely
(termFormat ChineseTraditionalLanguage Unlikely "較不可能") domainEnglishFormat.kif 60462-60462 Likely is the opposite of unlikely
(termFormat ChineseLanguage Unlikely "较不可能") domainEnglishFormat.kif 60463-60463 Likely is the opposite of unlikely

antecedent
-------------------------


(=>
    (modalAttribute ?FORMULA Unlikely)
    (greaterThan
        (ProbabilityFn
            (truth ?FORMULA False))
        (ProbabilityFn
            (truth ?FORMULA True))))		 Merge.kif 17762-17768 If the statement X has the modal force of unlikely, then the probability of X is false is greater than the probability of X is true

consequent
-------------------------


(=>
    (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 7856-7868 If X is an instance of Facility and physically restricted region is an attribute of X, then the statement there exist Y, Z such that Y is an instance of entering or Y is an instance of exiting, Z is path along which Y occurs, and Z is the entrance for X 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 11168-11189 If All of the following hold: (1) X is an instance of ingesting (2) Y experiences X (3) the object transferred in X is Z (4) Z is an instance of mood stabilizer (5) W is an instance of V (6) Y is an involved in event of W (7) U is an attribute of Y holds during the time of existence of W (8) U is an instance of emotional state (9) T is an instance of V (10) Y is an involved in event of T (11) the time of existence of T happens earlier than the time of existence of X, then the statement U is not an attribute of Y doesn't hold during T 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 14872-14880 If the minimum expected height of X is Y Z(s), then the statement there exist W and V such that W is an instance of X and the height of W is V Z(s) and V is less than Y 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 14888-14897 If the maximum expected height of X is Y Z(s), then the statement there exist W and V such that W is an instance of X and the height of W is V Z(s) and V is greater than Y 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 14905-14913 If the minimum expected width of X is Y Z(s), then the statement there exist W and V such that W is an instance of X and the width of W is V Z(s) and V is less than Y 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 14921-14930 If the maximum expected width of X is Y Z(s), then the statement there exist W and V such that W is an instance of X and the width of W is V Z(s) and V is greater than Y 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 14938-14946 If the minimum expected length of X is Y Z(s), then the statement there exist W and V such that W is an instance of X and the length of W is V Z(s) and V is less than Y 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 14954-14963 If the maximum expected length of X is Y Z(s), then the statement there exist W and V such that W is an instance of X and the length of W is V Z(s) and V is greater than Z 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 14990-15000 If the minimum expected radius of X is Y Z(s), W is an instance of X, and sphere is an attribute of W, then the statement there exists V such that the radius of W is V Z(s) and V is less than Y 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 15009-15020 If the maximum expected radius of X is Y Z(s), W is an instance of X, and sphere is an attribute of W, then the statement there exists V such that the radius of W is V Z(s) and V is greater than Y 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 15028-15037 If the minimum expected value of X is Y Z(s) and Z is an instance of composite unit of measure, then the statement there exist W and V such that W is an instance of X and the measure of W is V Z(s) and V is less than Y 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 15039-15050 If the minimum expected value of X is Y Z(s), W is a subclass of non composite unit of measure, and Z is an instance of W, then the statement there exist V, U and T such that V is an instance of X and the measure of V is U T(s) and T is an instance of W and U is less than Y has the modal force of unlikely
(=>
    (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 15059-15068 If the maximum expected value of X is Y Z(s) and Z is an instance of composite unit of measure, then the statement there exist W and V such that W is an instance of X and the measure of W is V Z(s) and V is greater than Y 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 15070-15081 If the maximum expected value of X is Y Z(s), W is a subclass of non composite unit of measure, and Z is an instance of W, then the statement there exist V, U and T such that V is an instance of X and the measure of V is U T(s) and T is an instance of W and U T(s) is greater than Y Z(s) 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 15089-15098 If the expected value of X is Y Z(s) and Z is an instance of composite unit of measure, then the statement there exist W and V such that W is an instance of X and the measure of W is V Z(s) and V is greater than Y 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 15100-15109 If the expected value of X is Y Z(s) and Z is an instance of composite unit of measure, then the statement there exist W and V such that W is an instance of X and the measure of W is V Z(s) and V is less than Y and 0.5 has the modal force of unlikely
(=>
    (and
        (instance ?X PaperShredder)
        (instance ?CUT Cutting)
        (instance ?CBO VisualContentBearingObject)
        (containsInformation ?CBO ?INFO)
        (instrument ?CUT ?X)
        (instance ?PAPER Paper)
        (patient ?CUT ?PAPER)
        (located ?CBO ?PAPER))
    (modalAttribute
        (exists (?READ)
            (and
                (instance ?READ Interpreting)
                (patient ?READ ?INFO)
                (earlier
                    (WhenFn ?CUT)
                    (WhenFn ?READ)))) Unlikely))		 Mid-level-ontology.kif 20107-20124 If All of the following hold: (1) X is an instance of paper shredder (2) Y is an instance of cutting (3) Z is an instance of visual content bearing object (4) Z contains information W (5) X is an instrument for Y (6) V is an instance of paper (7) V is a patient of Y (8) Z is located at V, then the statement there exists U such that U is an instance of interpreting, W is a patient of U, and the time of existence of Y happens earlier than the time of existence of U has the modal force of unlikely
(=>
    (approximateValue ?N1 ?N2)
    (modalAttribute
        (greaterThan 0.9
            (DivisionFn ?N1 ?N2)) Unlikely))		 Mid-level-ontology.kif 32446-32452 If the approximate value of X is Y, then the statement 0.9 is greater than X and Y has the modal force of unlikely
(=>
    (approximateValue ?N1 ?N2)
    (modalAttribute
        (greaterThan 0.9
            (DivisionFn ?N2 ?N1)) Unlikely))		 Mid-level-ontology.kif 32454-32460 If the approximate value of X is Y, then the statement 0.9 is greater than Y and X 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 9148-9160 If X is an instance of liquid drop and Y is a surface of X, then All of the following hold: (1) the statement there exist Z (2) W such that W is an instance of substance (3) liquid is an attribute of W (4) equal X (5) W (6) Z is a surface of W (7) Y meets Z 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 X allows checkins after Y, then the statement there exist Z, W such that Z is an instance of Y, W is an instance of check-in service, X is an agent of W, and the beginning of the time of existence of W happens before Z 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 403-411 If X distrusts Y will do Z, then X believes the statement there exists W such that W is an instance of Z and Y is an agent of W 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 2772-2784 If X is an instance of COVID antibody and Covid is not an attribute of Y and X is a part of Y holds during Z, then the statement Covid is an attribute of Y has the modal force of unlikely holds during immediately after Z
(=>
    (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 2924-2934 If X is an instance of flooding, Y is an instance of land area, X is located at Y, Z is an instance of time point, and Z happens before the time of existence of X, then the statement Y is an instance of submerged land area holds during Z has the modal force of unlikely
(=>
    (and
        (instance ?H Human)
        (instance ?A AwardingADegree)
        (instance ?D
            (HonoraryDegreeFn ?FIELDOFSTUDY ?SCHOOL))
        (patient ?A ?D)
        (destination ?A ?H)
        (agent ?A ?SCHOOL)
        (instance ?INTERVAL TimeInterval))
    (and
        (not
            (modalAttribute
                (holdsDuring ?INTERVAL
                    (attends ?S ?SCHOOL)) Necessity))
        (modalAttribute
            (attribute ?H Student) Unlikely)))		 LinkedInDegrees.kif 117-132 If All of the following hold: (1) X is an instance of human (2) Y is an instance of awarding a degree (3) Z is an instance of honorary degree W and V (4) Z is a patient of Y (5) Y ends up at X (6) V is an agent of Y (7) U is an instance of timeframe, then the statement V attends T doesn't hold during U doesn't have the modal force of necessity and the statement student is an attribute of X has the modal force of unlikely

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.0-c58f641d (2026-04-12) is open source software produced by Articulate Software and its partners