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 16205-16206
(instance Unlikely ProbabilityAttribute) Merge.kif 16204-16204 instance Unlikely and ProbabilityAttribute

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


(contraryAttribute Likely Unlikely) Merge.kif 16196-16196 contraryAttribute Likely and Unlikely
(termFormat ChineseLanguage Unlikely "较不可能") domainEnglishFormat.kif 60421-60421 termFormat ChineseLanguage, Unlikely and "较不可能"
(termFormat ChineseTraditionalLanguage Unlikely "較不可能") domainEnglishFormat.kif 60420-60420 termFormat ChineseTraditionalLanguage, Unlikely and "較不可能"
(termFormat EnglishLanguage Unlikely "unlikely") domainEnglishFormat.kif 60419-60419 termFormat EnglishLanguage, Unlikely and "unlikely"

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


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

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 11136-11145
(=>
    (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 11146-11157
(=>
    (and
        (defaultMaximumSphereRadius ?OBJECT ?R)
        (instance ?INST ?OBJECT)
        (attribute ?INST Sphere))
    (modalAttribute
        (and
            (sphereRadius ?INST ?RADIUS)
            (greaterThan ?RADIUS ?R)) Unlikely))
Mid-level-ontology.kif 11091-11099
(=>
    (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 11165-11174
(=>
    (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 11176-11185
(=>
    (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 11107-11116
(=>
    (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
                    (MeasureFn ?QUANTITY ?UNIT2)
                    (MeasureFn ?Q ?UNIT1)))) Unlikely))
Mid-level-ontology.kif 11117-11128
(=>
    (and
        (defaultMinimumSphereRadius ?OBJECT ?R)
        (instance ?INST ?OBJECT)
        (attribute ?INST Sphere))
    (modalAttribute
        (and
            (sphereRadius ?INST ?RADIUS)
            (lessThan ?RADIUS ?R)) Unlikely))
Mid-level-ontology.kif 11074-11082
(=>
    (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)
                (meetSpatially ?S ?SS))) Unlikely))
Geography.kif 6863-6875
(=>
    (approximateValue ?N1 ?N2)
    (modalAttribute
        (greaterThan 0.9
            (DivisionFn ?N1 ?N2)) Unlikely))
Mid-level-ontology.kif 28017-28023
(=>
    (approximateValue ?N1 ?N2)
    (modalAttribute
        (greaterThan 0.9
            (DivisionFn ?N2 ?N1)) Unlikely))
Mid-level-ontology.kif 28025-28031
(=>
    (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 640-648
(=>
    (defaultMaximumHeight ?OBJECT ?H)
    (modalAttribute
        (exists (?INST)
            (and
                (instance ?INST ?OBJECT)
                (height ?INST ?HEIGHT)
                (greaterThan ?HEIGHT ?H))) Unlikely))
Mid-level-ontology.kif 10981-10988
(=>
    (defaultMaximumLength ?O ?L)
    (modalAttribute
        (exists (?INST)
            (and
                (instance ?INST ?O)
                (length ?INST ?LENGTH)
                (greaterThan ?LENGTH ?L))) Unlikely))
Mid-level-ontology.kif 11041-11048
(=>
    (defaultMaximumWidth ?OBJECT ?W)
    (modalAttribute
        (exists (?INST)
            (and
                (instance ?INST ?OBJECT)
                (width ?INST ?WIDTH)
                (greaterThan ?WIDTH ?W))) Unlikely))
Mid-level-ontology.kif 11011-11018
(=>
    (defaultMinimumHeight ?OBJECT ?H)
    (modalAttribute
        (exists (?INST)
            (and
                (instance ?INST ?OBJECT)
                (height ?INST ?HEIGHT)
                (lessThan ?HEIGHT ?H))) Unlikely))
Mid-level-ontology.kif 10966-10973
(=>
    (defaultMinimumLength ?OBJECT ?L)
    (modalAttribute
        (exists (?INST)
            (and
                (instance ?INST ?OBJECT)
                (length ?INST ?LENGTH)
                (lessThan ?LENGTH ?L))) Unlikely))
Mid-level-ontology.kif 11026-11033
(=>
    (defaultMinimumWidth ?OBJECT ?W)
    (modalAttribute
        (exists (?INST)
            (and
                (instance ?INST ?OBJECT)
                (width ?INST ?WIDTH)
                (lessThan ?WIDTH ?W))) Unlikely))
Mid-level-ontology.kif 10996-11003
(=>
    (distrusts ?A1 ?A2 ?P)
    (believes ?A1
        (modalAttribute
            (exists (?PI)
                (and
                    (instance ?PI ?P)
                    (agent ?PI ?A2))) Unlikely)))
Law.kif 464-472


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners