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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Unlikely
Unlikely

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


(documentation Unlikely ChineseLanguage "这是表示不可能发生的 ProbabilityAttribute,即是 即是有可能是 False 的机会比不可能的大。") chinese_format.kif 3919-3920
(documentation Unlikely EnglishLanguage "The ProbabilityAttribute of being improbable, i.e. more likely than not to be False.") Merge.kif 16377-16378
(instance Unlikely ProbabilityAttribute) Merge.kif 16376-16376

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


(contraryAttribute Likely Unlikely) Merge.kif 16368-16368
(termFormat ChineseLanguage Unlikely "较不可能") domainEnglishFormat.kif 60442-60442
(termFormat ChineseTraditionalLanguage Unlikely "較不可能") domainEnglishFormat.kif 60441-60441
(termFormat EnglishLanguage Unlikely "unlikely") domainEnglishFormat.kif 60440-60440

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


(=>
    (modalAttribute ?FORMULA Unlikely)
    (greaterThan
        (ProbabilityFn
            (truth ?FORMULA False))
        (ProbabilityFn
            (truth ?FORMULA True))))
Merge.kif 16380-16382

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 10335-10344
(=>
    (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 10346-10357
(=>
    (and
        (defaultMaximumSphereRadius ?OBJECT
            (MeasureFn ?R ?U))
        (instance ?INST ?OBJECT)
        (attribute ?INST Sphere))
    (modalAttribute
        (and
            (sphereRadius ?INST
                (MeasureFn ?RADIUS ?U))
            (greaterThan ?RADIUS ?R)) Unlikely))
Mid-level-ontology.kif 10285-10295
(=>
    (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 10365-10374
(=>
    (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 .5)))) Unlikely))
Mid-level-ontology.kif 10376-10385
(=>
    (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 10304-10313
(=>
    (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 10315-10326
(=>
    (and
        (defaultMinimumSphereRadius ?OBJECT
            (MeasureFn ?R ?U))
        (instance ?INST ?OBJECT)
        (attribute ?INST Sphere))
    (modalAttribute
        (and
            (sphereRadius ?INST
                (MeasureFn ?RADIUS ?U))
            (lessThan ?RADIUS ?R)) Unlikely))
Mid-level-ontology.kif 10266-10275
(=>
    (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 1597-1607
(=>
    (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 7055-7067
(=>
    (approximateValue ?N1 ?N2)
    (modalAttribute
        (greaterThan 0.9
            (DivisionFn ?N1 ?N2)) Unlikely))
Mid-level-ontology.kif 26081-26087
(=>
    (approximateValue ?N1 ?N2)
    (modalAttribute
        (greaterThan 0.9
            (DivisionFn ?N2 ?N1)) Unlikely))
Mid-level-ontology.kif 26089-26095
(=>
    (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 646-654
(=>
    (defaultMaximumHeight ?OBJECT
        (MeasureFn ?H ?U))
    (modalAttribute
        (exists (?INST)
            (and
                (instance ?INST ?OBJECT)
                (height ?INST
                    (MeasureFn ?HEIGHT ?U))
                (greaterThan ?HEIGHT ?H))) Unlikely))
Mid-level-ontology.kif 10160-10169
(=>
    (defaultMaximumLength ?O
        (MeasureFn ?L ?U))
    (modalAttribute
        (exists (?INST)
            (and
                (instance ?INST ?O)
                (length ?INST
                    (MeasureFn ?LENGTH ?U))
                (greaterThan ?LENGTH ?U))) Unlikely))
Mid-level-ontology.kif 10229-10238
(=>
    (defaultMaximumWidth ?OBJECT
        (MeasureFn ?W ?U))
    (modalAttribute
        (exists (?INST)
            (and
                (instance ?INST ?OBJECT)
                (width ?INST
                    (MeasureFn ?WIDTH ?U))
                (greaterThan ?WIDTH ?W))) Unlikely))
Mid-level-ontology.kif 10195-10204
(=>
    (defaultMinimumHeight ?OBJECT
        (MeasureFn ?H ?U))
    (modalAttribute
        (exists (?INST)
            (and
                (instance ?INST ?OBJECT)
                (height ?INST
                    (MeasureFn ?HEIGHT ?U))
                (lessThan ?HEIGHT ?H))) Unlikely))
Mid-level-ontology.kif 10143-10151
(=>
    (defaultMinimumLength ?OBJECT
        (MeasureFn ?L ?U))
    (modalAttribute
        (exists (?INST)
            (and
                (instance ?INST ?OBJECT)
                (length ?INST
                    (MeasureFn ?LENGTH ?U))
                (lessThan ?LENGTH ?L))) Unlikely))
Mid-level-ontology.kif 10213-10221
(=>
    (defaultMinimumWidth ?OBJECT
        (MeasureFn ?W ?U))
    (modalAttribute
        (exists (?INST)
            (and
                (instance ?INST ?OBJECT)
                (width ?INST
                    (MeasureFn ?WIDTH ?U))
                (lessThan ?WIDTH ?W))) Unlikely))
Mid-level-ontology.kif 10178-10186
(=>
    (distrusts ?A1 ?A2 ?P)
    (believes ?A1
        (modalAttribute
            (exists (?PI)
                (and
                    (instance ?PI ?P)
                    (agent ?PI ?A2))) Unlikely)))
Law.kif 466-474


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