| 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 16362-16363 | |
| (instance Unlikely ProbabilityAttribute) | Merge.kif 16361-16361 |
| appearance as argument number 2 |
|
|
| (contraryAttribute Likely Unlikely) | Merge.kif 16353-16353 | |
| (termFormat ChineseLanguage Unlikely "较不可能") | domainEnglishFormat.kif 60394-60394 | |
| (termFormat ChineseTraditionalLanguage Unlikely "較不可能") | domainEnglishFormat.kif 60393-60393 | |
| (termFormat EnglishLanguage Unlikely "unlikely") | domainEnglishFormat.kif 60392-60392 |
| antecedent |
|
|
| (=> (modalAttribute ?FORMULA Unlikely) (greaterThan (ProbabilityFn (truth ?FORMULA False)) (ProbabilityFn (truth ?FORMULA True)))) |
Merge.kif 16365-16367 |
| 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 11164-11173 | |
| (=> (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 11174-11185 | |
| (=> (and (defaultMaximumSphereRadius ?OBJECT ?R) (instance ?INST ?OBJECT) (attribute ?INST Sphere)) (modalAttribute (and (sphereRadius ?INST ?RADIUS) (greaterThan ?RADIUS ?R)) Unlikely)) |
Mid-level-ontology.kif 11119-11127 | |
| (=> (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 11193-11202 | |
| (=> (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 11204-11213 | |
| (=> (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 11135-11144 | |
| (=> (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 11145-11156 | |
| (=> (and (defaultMinimumSphereRadius ?OBJECT ?R) (instance ?INST ?OBJECT) (attribute ?INST Sphere)) (modalAttribute (and (sphereRadius ?INST ?RADIUS) (lessThan ?RADIUS ?R)) Unlikely)) |
Mid-level-ontology.kif 11102-11110 | |
| (=> (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 1188-1198 | |
| (=> (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 6956-6968 | |
| (=> (approximateValue ?N1 ?N2) (modalAttribute (greaterThan 0.9 (DivisionFn ?N1 ?N2)) Unlikely)) |
Mid-level-ontology.kif 28062-28068 | |
| (=> (approximateValue ?N1 ?N2) (modalAttribute (greaterThan 0.9 (DivisionFn ?N2 ?N1)) Unlikely)) |
Mid-level-ontology.kif 28070-28076 | |
| (=> (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 11009-11016 | |
| (=> (defaultMaximumLength ?O ?L) (modalAttribute (exists (?INST) (and (instance ?INST ?O) (length ?INST ?LENGTH) (greaterThan ?LENGTH ?L))) Unlikely)) |
Mid-level-ontology.kif 11069-11076 | |
| (=> (defaultMaximumWidth ?OBJECT ?W) (modalAttribute (exists (?INST) (and (instance ?INST ?OBJECT) (width ?INST ?WIDTH) (greaterThan ?WIDTH ?W))) Unlikely)) |
Mid-level-ontology.kif 11039-11046 | |
| (=> (defaultMinimumHeight ?OBJECT ?H) (modalAttribute (exists (?INST) (and (instance ?INST ?OBJECT) (height ?INST ?HEIGHT) (lessThan ?HEIGHT ?H))) Unlikely)) |
Mid-level-ontology.kif 10994-11001 | |
| (=> (defaultMinimumLength ?OBJECT ?L) (modalAttribute (exists (?INST) (and (instance ?INST ?OBJECT) (length ?INST ?LENGTH) (lessThan ?LENGTH ?L))) Unlikely)) |
Mid-level-ontology.kif 11054-11061 | |
| (=> (defaultMinimumWidth ?OBJECT ?W) (modalAttribute (exists (?INST) (and (instance ?INST ?OBJECT) (width ?INST ?WIDTH) (lessThan ?WIDTH ?W))) Unlikely)) |
Mid-level-ontology.kif 11024-11031 | |
| (=> (distrusts ?A1 ?A2 ?P) (believes ?A1 (modalAttribute (exists (?PI) (and (instance ?PI ?P) (agent ?PI ?A2))) Unlikely))) |
Law.kif 466-474 |
|
|
|