Likely | ![]() |
appearance as argument number 1 |
![]() |
(contraryAttribute Likely Unlikely) | Merge.kif 16353-16353 | |
(documentation Likely ChineseLanguage "这是表示有可能发生的 ProbabilityAttribute,即是有可能是 True 的机会比不可能的大。") | chinese_format.kif 3917-3918 | |
(documentation Likely EnglishLanguage "The ProbabilityAttribute of being probable, i.e. more likely than not to be True.") | Merge.kif 16354-16355 | |
(instance Likely ProbabilityAttribute) | Merge.kif 16352-16352 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Likely "容易") | domainEnglishFormat.kif 34321-34321 | |
(termFormat ChineseTraditionalLanguage Likely "容易") | domainEnglishFormat.kif 34320-34320 | |
(termFormat EnglishLanguage Likely "likely") | domainEnglishFormat.kif 34319-34319 |
antecedent |
![]() |
(=> (modalAttribute ?FORMULA Likely) (greaterThan (ProbabilityFn (truth ?FORMULA True)) (ProbabilityFn (truth ?FORMULA False)))) |
Merge.kif 16357-16359 |
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 11715-11725 | |
(=> (and (albumCoverImage ?A ?I) (instance ?CD (AlbumCopiesFn ?A ?DS)) (contains ?C ?CD)) (modalAttribute (part ?I (FrontFn ?C)) Likely)) |
Music.kif 313-319 | |
(=> (and (defaultMaxValue ?REL ?ARG ?N) (?REL @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (modalAttribute (greaterThan ?N ?VAL) Likely)) |
Merge.kif 17110-17115 | |
(=> (and (defaultMinValue ?REL ?ARG ?N) (?REL @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (modalAttribute (greaterThan ?VAL ?N) Likely)) |
Merge.kif 17094-17099 | |
(=> (and (defaultValue ?REL ?ARG ?N) (?REL @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (modalAttribute (equal ?N ?VAL) Likely)) |
Merge.kif 17127-17132 | |
(=> (and (engineIdleSpeed ?E (RotationFn ?N1 ?M)) (instance ?A Automobile) (instance ?P GasPedal) (instance ?P Pushing) (destination ?P ?GP) (part ?E ?A) (part ?GP ?A) (instance ?C Crankshaft) (part ?C ?E) (holdsDuring (WhenFn ?P) (measure ?C (RotationFn ?N2 ?M)))) (modalAttribute (greaterThan ?N2 ?N1) Likely)) |
Cars.kif 2572-2588 | |
(=> (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 (attribute ?X Booting)) (holdsDuring ?T2 (attribute ?X HostReady)) (equal ?T2 (ImmediateFutureFn (WhenFn ?T))) (instance ?DIS ComputerDisplay) (connectedEngineeringComponents ?DIS ?X)) (modalAttribute (exists (?HS) (and (instance ?HS HomeScreen) (displayedUpon ?HS ?DIS))) Likely)) |
ComputingBrands.kif 3217-3231 | |
(=> (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 2554-2570 | |
(=> (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 28839-28860 | |
(=> (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 4885-4899 | |
(=> (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 1849-1862 | |
(=> (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 4560-4577 | |
(=> (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 893-906 | |
(=> (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 2600-2620 | |
(=> (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 2627-2643 | |
(=> (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 2650-2665 | |
(=> (and (instance ?PV PhysicalViolence) (agent ?PV ?A)) (modalAttribute (holdsDuring (WhenFn ?PV) (attribute ?A Anger)) Likely)) |
emotion.kif 1614-1622 | |
(=> (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 1174-1193 | |
(=> (and (instance ?S Laughing) (experiencer ?S ?A)) (modalAttribute (holdsDuring (WhenFn ?S) (attribute ?A Happiness)) Likely)) |
emotion.kif 1594-1602 | |
(=> (and (instance ?S Smiling) (experiencer ?S ?A)) (modalAttribute (holdsDuring (WhenFn ?S) (attribute ?A Happiness)) Likely)) |
emotion.kif 1582-1590 | |
(=> (and (instance ?S Spamming) (instance ?G GroupOfPeople) (memberCount ?G ?N) (destination ?S ?G)) (modalAttribute (greaterThan ?N 100) Likely)) |
ComputingBrands.kif 4107-4115 | |
(=> (and (instance ?S Spamming) (result ?S ?SPAM) (instance ?S Spam) (instance ?H Human) (destination ?S ?H)) (not (modalAttribute (wants ?H ?SPAM) Likely))) |
ComputingBrands.kif 4130-4140 | |
(=> (and (instance ?V Vending) (objectTransferred ?V ?O) (not (instance ?O Currency))) (modalAttribute (or (instance ?O (FoodForFn Human)) (instance ?O Beverage)) Likely)) |
Mid-level-ontology.kif 2447-2456 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |