| 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 |
|
|
|