| 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 16325-16326 | |
| (instance Unlikely ProbabilityAttribute) | Merge.kif 16324-16324 |
| appearance as argument number 2 |
|
|
| (contraryAttribute Likely Unlikely) | Merge.kif 16316-16316 | |
| (termFormat ChineseLanguage Unlikely "较不可能") | domainEnglishFormat.kif 60384-60384 | |
| (termFormat ChineseTraditionalLanguage Unlikely "較不可能") | domainEnglishFormat.kif 60383-60383 | |
| (termFormat EnglishLanguage Unlikely "unlikely") | domainEnglishFormat.kif 60382-60382 |
| antecedent |
|
|
| (=> (modalAttribute ?FORMULA Unlikely) (greaterThan (ProbabilityFn (truth ?FORMULA False)) (ProbabilityFn (truth ?FORMULA True)))) |
Merge.kif 16328-16330 |
| 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 11162-11171 | |
| (=> (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 11172-11183 | |
| (=> (and (defaultMaximumSphereRadius ?OBJECT ?R) (instance ?INST ?OBJECT) (attribute ?INST Sphere)) (modalAttribute (and (sphereRadius ?INST ?RADIUS) (greaterThan ?RADIUS ?R)) Unlikely)) |
Mid-level-ontology.kif 11117-11125 | |
| (=> (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 11191-11200 | |
| (=> (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 11202-11211 | |
| (=> (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 11133-11142 | |
| (=> (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 11143-11154 | |
| (=> (and (defaultMinimumSphereRadius ?OBJECT ?R) (instance ?INST ?OBJECT) (attribute ?INST Sphere)) (modalAttribute (and (sphereRadius ?INST ?RADIUS) (lessThan ?RADIUS ?R)) Unlikely)) |
Mid-level-ontology.kif 11100-11108 | |
| (=> (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 6863-6875 | |
| (=> (approximateValue ?N1 ?N2) (modalAttribute (greaterThan 0.9 (DivisionFn ?N1 ?N2)) Unlikely)) |
Mid-level-ontology.kif 28054-28060 | |
| (=> (approximateValue ?N1 ?N2) (modalAttribute (greaterThan 0.9 (DivisionFn ?N2 ?N1)) Unlikely)) |
Mid-level-ontology.kif 28062-28068 | |
| (=> (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 11007-11014 | |
| (=> (defaultMaximumLength ?O ?L) (modalAttribute (exists (?INST) (and (instance ?INST ?O) (length ?INST ?LENGTH) (greaterThan ?LENGTH ?L))) Unlikely)) |
Mid-level-ontology.kif 11067-11074 | |
| (=> (defaultMaximumWidth ?OBJECT ?W) (modalAttribute (exists (?INST) (and (instance ?INST ?OBJECT) (width ?INST ?WIDTH) (greaterThan ?WIDTH ?W))) Unlikely)) |
Mid-level-ontology.kif 11037-11044 | |
| (=> (defaultMinimumHeight ?OBJECT ?H) (modalAttribute (exists (?INST) (and (instance ?INST ?OBJECT) (height ?INST ?HEIGHT) (lessThan ?HEIGHT ?H))) Unlikely)) |
Mid-level-ontology.kif 10992-10999 | |
| (=> (defaultMinimumLength ?OBJECT ?L) (modalAttribute (exists (?INST) (and (instance ?INST ?OBJECT) (length ?INST ?LENGTH) (lessThan ?LENGTH ?L))) Unlikely)) |
Mid-level-ontology.kif 11052-11059 | |
| (=> (defaultMinimumWidth ?OBJECT ?W) (modalAttribute (exists (?INST) (and (instance ?INST ?OBJECT) (width ?INST ?WIDTH) (lessThan ?WIDTH ?W))) Unlikely)) |
Mid-level-ontology.kif 11022-11029 | |
| (=> (distrusts ?A1 ?A2 ?P) (believes ?A1 (modalAttribute (exists (?PI) (and (instance ?PI ?P) (agent ?PI ?A2))) Unlikely))) |
Law.kif 466-474 |
|
|
|