| Likely | |
| appearance as argument number 1 |
|
|
| (contraryAttribute Likely Unlikely) | Merge.kif 16368-16368 | |
| (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 16369-16370 | |
| (instance Likely ProbabilityAttribute) | Merge.kif 16367-16367 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Likely "容易") | domainEnglishFormat.kif 34380-34380 | |
| (termFormat ChineseTraditionalLanguage Likely "容易") | domainEnglishFormat.kif 34379-34379 | |
| (termFormat EnglishLanguage Likely "likely") | domainEnglishFormat.kif 34378-34378 |
| antecedent |
|
|
| (=> (modalAttribute ?FORMULA Likely) (greaterThan (ProbabilityFn (truth ?FORMULA True)) (ProbabilityFn (truth ?FORMULA False)))) |
Merge.kif 16372-16374 |
| 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 10860-10870 | |
| (=> (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 17125-17130 | |
| (=> (and (defaultMinValue ?REL ?ARG ?N) (?REL @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (modalAttribute (greaterThan ?VAL ?N) Likely)) |
Merge.kif 17109-17114 | |
| (=> (and (defaultValue ?REL ?ARG ?N) (?REL @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (modalAttribute (equal ?N ?VAL) Likely)) |
Merge.kif 17142-17147 | |
| (=> (and (engineIdleSpeed ?E (RotationFn (MeasureFn ?N1 MilesPerHour) ?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 (MeasureFn ?N2 MilesPerHour) ?M)))) (modalAttribute (greaterThan ?N2 ?N1) Likely)) |
Cars.kif 2599-2617 | |
| (=> (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 3205-3219 | |
| (=> (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 2581-2597 | |
| (=> (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 26878-26899 | |
| (=> (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 4281-4295 | |
| (=> (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 1855-1868 | |
| (=> (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 328-343 | |
| (=> (and (instance ?DUST DustStorm) (instance ?PLACE GeographicArea) (eventLocated ?DUST ?PLACE)) (holdsDuring (WhenFn ?DUST) (modalAttribute (attribute ?PLACE BadAirQuality) Likely))) |
Weather.kif 2593-2601 | |
| (=> (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 4561-4578 | |
| (=> (and (instance ?HAZE AtmosphericHazing) (instance ?PLACE GeographicArea) (eventLocated ?HAZE ?PLACE)) (holdsDuring (WhenFn ?HAZE) (modalAttribute (attribute ?PLACE BadAirQuality) Likely))) |
Weather.kif 2583-2591 | |
| (=> (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 902-915 | |
| (=> (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 2614-2634 | |
| (=> (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 2641-2657 | |
| (=> (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 2664-2679 | |
| (=> (and (instance ?PV PhysicalViolence) (agent ?PV ?A)) (modalAttribute (holdsDuring (WhenFn ?PV) (attribute ?A Anger)) Likely)) |
emotion.kif 1620-1628 | |
| (=> (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 1180-1199 | |
| (=> (and (instance ?S Laughing) (experiencer ?S ?A)) (modalAttribute (holdsDuring (WhenFn ?S) (attribute ?A Happiness)) Likely)) |
emotion.kif 1600-1608 | |
| (=> (and (instance ?S Smiling) (experiencer ?S ?A)) (modalAttribute (holdsDuring (WhenFn ?S) (attribute ?A Happiness)) Likely)) |
emotion.kif 1588-1596 | |
| (=> (and (instance ?S Spamming) (instance ?G GroupOfPeople) (memberCount ?G ?N) (destination ?S ?G)) (modalAttribute (greaterThan ?N 100) Likely)) |
ComputingBrands.kif 4158-4166 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|