| Likely | | مِن المُحْتمل, مُحْتمل, مُتوقّع, على أغْلب الظّن, على الأرْجح, مِن المُحْتمل, مِن المُرجّح, مِن المُتوقّع, رُبّما, |
| appearance as argument number 1 |
|
|
| (contraryAttribute Likely Unlikely) | Merge.kif 17890-17890 | |
| (documentation Likely ChineseLanguage "这是表示有可能发生的 ProbabilityAttribute，即是有可能是 True 的机会比不可能的大。") | Merge.kif 17893-17894 | |
| (documentation Likely EnglishLanguage "The ProbabilityAttribute of being probable, i.e. more likely than not to be True.") | Merge.kif 17891-17892 | |
| (instance Likely ProbabilityAttribute) | Merge.kif 17889-17889 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Likely "likely") | domainEnglishFormat.kif 6151-6151 |
| antecedent |
|
|
| (=> (modalAttribute ?FORMULA Likely) (greaterThan (ProbabilityFn (truth ?FORMULA True)) (ProbabilityFn (truth ?FORMULA False)))) |
Merge.kif 17896-17898 |
| consequent |
|
|
| (=> (and (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT) (or (equal ?ATTR Obligation) (equal ?ATTR Promise))) (modalAttribute (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) Likely)) |
Mid-level-ontology.kif 11682-11692 | |
| (=> (and (albumCoverImage ?A ?I) (instance ?CD (AlbumCopiesFn ?A ?DS)) (contains ?C ?CD)) (modalAttribute (part ?I (FrontFn ?C)) Likely)) |
Music.kif 319-325 | |
| (=> (and (defaultMaxValue ?R ?ARG ?N) (?R @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (modalAttribute (greaterThan ?N ?VAL) Likely)) |
Merge.kif 18779-18784 | |
| (=> (and (defaultMinValue ?R ?ARG ?N) (?R @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (modalAttribute (greaterThan ?VAL ?N) Likely)) |
Merge.kif 18765-18770 | |
| (=> (and (defaultValue ?R ?ARG ?N) (?R @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (modalAttribute (equal ?N ?VAL) Likely)) |
Merge.kif 18793-18798 | |
| (=> (and (engineIdleSpeed ?E (RotationFn ?N1 ?M)) (instance ?A Automobile) (instance ?P GasPedal) (instance ?P Pushing) (destination ?P ?GP) (part ?GP ?A) (instance ?C Crankshaft) (part ?C ?A) (measure ?C (RotationFn ?N2 ?M))) (modalAttribute (greaterThan ?N2 ?N1) Likely)) |
Cars.kif 2571-2584 | |
| (=> (and (holdsDuring ?T (attribute ?A ?ES)) (actionTendency ?ES ?P)) (modalAttribute (exists (?PI) (and (instance ?P ?PI) (during ?PI ?T) (experiencer ?PI ?A))) Likely)) |
emotion.kif 161-172 | |
| (=> (and (holdsDuring ?T (measure ?C ?S)) (engineIdleSpeed ?E ?S) (instance ?A Automobile) (part ?E ?A) (part ?C ?E)) (modalAttribute (not (exists (?P ?GP) (and (during ?P ?T) (instance ?P Pushing) (destination ?P ?GP) (part ?GP ?A)))) Likely)) |
Cars.kif 2553-2569 | |
| (=> (and (holdsDuring ?T1 (attribute ?H Dieting)) (holdsDuring ?T2 (not (attribute ?H Dieting))) (instance ?M1 Meal) (instance ?E1 Eating) (agent ?E1 ?H) (resource ?E1 ?M1) (during (WhenFn ?E1) ?T1) (measure ?M1 (MeasureFn ?C1 Calorie)) (instance ?M2 Meal) (instance ?E2 Eating) (agent ?E2 ?H) (resource ?E2 ?M2) (during (WhenFn ?E2) ?T2) (measure ?M2 (MeasureFn ?C2 Calorie))) (modalAttribute (greaterThan ?C2 ?C1) Likely)) |
Mid-level-ontology.kif 28718-28739 | |
| (=> (and (instance ?A Biped) (instance ?W Ambulating) (agent ?W ?A)) (modalAttribute (exists (?L1 L2) (and (instance ?L1 Leg) (instance ?L2 Leg) (part ?L1 ?A) (part ?L2 ?A) (instrument ?W ?L1) (instrument ?W ?L2))) Likely)) |
Mid-level-ontology.kif 4884-4898 | |
| (=> (and (instance ?AVU AngryVoiceUtterance) (agent ?AVU ?A)) (modalAttribute (causesProposition (exists (?ANG) (and (instance ?ANG Anger) (experiencer ?ANG ?A))) (and (instance ?AVU AngryVoiceUtterance) (agent ?AVU ?A))) Likely)) |
emotion.kif 1843-1856 | |
| (=> (and (instance ?B Buying) (patient ?B ?ITEM) (origin ?B ?AGENT) (or (publishedPrice ?ENT ?PRICE ?AGENT ?PS) (unitPrice ?ENT ?QUANT ?AGENT ?PS)) (subclass ?ENT Physical) (immediateInstance ?ITEM ?ENT) (validPaymentType ?PS ?PAY)) (modalAttribute (exists (?PAYMENT) (and (instance ?PAYMENT ?PAY) (subProcess ?PAYMENT ?B))) Likely)) |
Catalog.kif 322-337 | |
| (=> (and (instance ?EVP Process) (instance ?AGENT Agent) (instance ?EXP Experimenting) (treatedUser ?AGENT ?EXP) (experimentalVariableProcess ?EXP ?EVP) (experiencer ?PROC ?AGENT) (experiencer ?EVP ?AGENT) (exclusiveEvent ?EXP ?PROC)) (exists (?EXPERIMENTER) (and (instance ?EXPERIMENTER Agent) (experimenter ?EXP ?EXPERIMENTER) (believes ?EXPERIMENTER (modalAttribute (causes ?EVP ?PROC) Likely))))) |
UXExperimentalTerms.kif 4552-4569 | |
| (=> (and (instance ?H Human) (instance ?A AwardingADegree) (patient ?A (HonoraryDegreeFn ?FIELDOFSTUDY ?SCHOOL)) (agent ?A ?SCHOOL)) (modalAttribute (equal (HonoraryDegreeFn ?FIELDOFSTUDY ?SCHOOL) (HonoraryDoctorateDegreeFn ?FIELDOFSTUDY ?SCHOOL)) Likely)) |
LinkedInDegrees.kif 132-140 | |
| (=> (and (instance ?L LeafSpring) (part ?L ?RV) (instance ?RV RoadVehicle)) (modalAttribute (exists (?L2) (and (instance ?L2 LeafSpring) (part ?L2 ?RV) (not (equal ?L ?L2)) (meetsSpatially ?L ?L2))) Likely)) |
Cars.kif 892-905 | |
| (=> (and (instance ?POLICY DailyHousekeepingPolicy) (policyOwner ?AGENT ?POLICY)) (modalAttribute (exists (?GUEST ?ROOM) (and (guest ?GUEST ?AGENT) (stays ?GUEST ?ROOM) (equal ?STAY (WhenFn (stays ?GUEST ?ROOM))) (holdsDuring ?STAY (forall (?DAY) (=> (and (instance ?DAY Day) (during ?DAY ?STAY)) (exists (?RC) (and (instance ?RC RoomCleaningService) (patient ?RC ?ROOM) (during ?RC ?DAY)))))))) Likely)) |
Hotel.kif 2595-2615 | |
| (=> (and (instance ?POLICY NoHousekeepingPolicy) (policyOwner ?AGENT ?POLICY) (attribute ?AGENT TravelerAccommodation)) (modalAttribute (exists (?GUEST ?ROOM) (and (guest ?GUEST ?AGENT) (holdsDuring (WhenFn (stays ?GUEST ?ROOM)) (not (exists (?CLEAN) (and (instance ?CLEAN RoomCleaningService) (patient ?CLEAN ?ROOM))))))) Likely)) |
Hotel.kif 2622-2638 | |
| (=> (and (instance ?POLICY WithHousekeepingPolicy) (policyOwner ?AGENT ?POLICY) (attribute ?AGENT TravelerAccommodation)) (modalAttribute (exists (?GUEST ?ROOM) (and (guest ?GUEST ?AGENT) (holdsDuring (WhenFn (stays ?GUEST ?ROOM)) (exists (?CLEAN) (and (instance ?CLEAN RoomCleaningService) (patient ?CLEAN ?ROOM)))))) Likely)) |
Hotel.kif 2645-2660 | |
| (=> (and (instance ?PV PhysicalViolence) (agent ?PV ?A)) (modalAttribute (holdsDuring (WhenFn ?PV) (attribute ?A Anger)) Likely)) |
emotion.kif 1608-1616 | |
| (=> (and (instance ?REST Restaurant) (instance ?DR DiningRoom) (attribute ?DR PrivateAttribute) (possesses ?REST ?DR) (customer ?GRP1 ?REST) (instance ?E1 Eating) (agent ?E1 ?GRP1) (instance ?GRP1 GroupOfPeople)) (modalAttribute (not (exists (?GRP2) (and (customer ?GRP2 ?REST) (not (equal ?GRP1 ?GRP2)) (instance ?E2 Eating) (agent ?E2 ?GRP2) (holdsDuring (WhenFn ?E1) (eventLocated ?E2 ?DR))))) Likely)) |
Dining.kif 1178-1197 | |
| (=> (and (instance ?S Laughing) (experiencer ?S ?A)) (modalAttribute (holdsDuring (WhenFn ?S) (attribute ?A Happiness)) Likely)) |
emotion.kif 1588-1596 | |
| (=> (and (instance ?S Smiling) (experiencer ?S ?A)) (modalAttribute (holdsDuring (WhenFn ?S) (attribute ?A Happiness)) Likely)) |
emotion.kif 1576-1584 | |
| (=> (and (instance ?S Student) (instance ?A AwardingADegree) (destination ?A ?S) (patient ?A (AssociateDegreeFn ?FIELDOFSTUDY ?JC)) (agent ?A ?JC) (exists (?INTERVAL) (and (instance ?INTERVAL TimeInterval) (holdsDuring ?INTERVAL (attends ?S ?JC))))) (modalAttribute (equal ?INTERVAL (MeasureFn 2 YearDuration)) Likely)) |
LinkedInDegrees.kif 263-274 | |
| (=> (and (instance ?S Student) (instance ?A AwardingADegree) (destination ?A ?S) (patient ?A (BachelorDegreeFn ?FIELDOFSTUDY ?SCHOOL)) (agent ?A ?SCHOOL) (exists (?INTERVAL) (and (instance ?INTERVAL TimeInterval) (holdsDuring ?INTERVAL (attends ?S ?SCHOOL))))) (modalAttribute (equal ?INTERVAL (MeasureFn 4 YearDuration)) Likely)) |
LinkedInDegrees.kif 291-303 | |
| (=> (and (instance ?S Student) (instance ?A AwardingADegree) (destination ?A ?S) (patient ?A (MasterDegreeFn ?FIELDOFSTUDY ?GRADSCHOOL)) (agent ?A ?GRADSCHOOL) (exists (?INTERVAL) (and (instance ?INTERVAL TimeInterval) (holdsDuring ?INTERVAL (attends ?S ?SCHOOL))))) (modalAttribute (equal ?INTERVAL (MeasureFn 2 YearDuration)) Likely)) |
LinkedInDegrees.kif 335-347 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|