Likely
|
|
appearance as argument number 1 |
(contraryAttribute Likely Unlikely) | Merge.kif 17547-17547 | Likely wird Unlikely entgegengesetzet %n{nicht} |
(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 17548-17549 | |
(instance Likely ProbabilityAttribute) | Merge.kif 17546-17546 | Likely ist ein fall von ProbabilityAttribute %n{nicht} |
appearance as argument number 2 |
(termFormat ChineseLanguage Likely "容易") | domainEnglishFormat.kif 34397-34397 | |
(termFormat ChineseTraditionalLanguage Likely "容易") | domainEnglishFormat.kif 34396-34396 | |
(termFormat EnglishLanguage Likely "likely") | domainEnglishFormat.kif 34395-34395 |
antecedent |
(=> (and (instance ?B Bleeding) (instance ?D Death) (instance ?H Human) (instance ?P Human) (experiencer ?B ?P) (orientation ?H ?P Near) (modalAttribute (causes ?B ?D) Likely)) (holdsObligation ?H (exists (?A) (and (instance ?A Attaching) (agent ?A ?H) (destination ?A ?P))))) |
Medicine.kif 44-59 |
|
(=> (modalAttribute ?FORMULA Likely) (greaterThan (ProbabilityFn (truth ?FORMULA True)) (ProbabilityFn (truth ?FORMULA False)))) |
Merge.kif 17551-17553 |
|
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 14078-14088 |
|
(=> (and (albumCoverImage ?A ?I) (instance ?CD (AlbumCopiesFn ?A ?DS)) (contains ?C ?CD)) (modalAttribute (part ?I (FrontFn ?C)) Likely)) |
Music.kif 316-322 |
|
(=> (and (allergic ?H ?S) (instance ?SUB ?S) (holdsDuring ?T (meetsSpatially ?SUB ?H))) (modalAttribute (exists (?AR) (and (instance ?AR AllergicReaction) (experiencer ?AR ?H) (overlapsTemporally ?T (WhenFn ?AR)) (before (BeginFn ?T) (BeginFn (WhenFn ?AR))))) Likely)) |
Mid-level-ontology.kif 6230-6243 |
|
(=> (and (attribute ?H1 ADHD) (not (attribute ?H2 ADHD)) (not (equal ?H1 ?H2)) (instance ?I1 ?IC) (instance ?I2 ?IC) (subclass ?IC IntentionalPsychologicalProcess) (agent ?I1 ?H1) (agent ?I2 ?H2) (duration (WhenFn ?I1) ?D1) (duration (WhenFn ?I2) ?D2)) (modalAttribute (greaterThan ?D2 ?D1) Likely)) |
Medicine.kif 3984-4004 |
|
(=> (and (defaultMaxValue ?REL ?ARG ?N) (?REL @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (modalAttribute (greaterThan ?N ?VAL) Likely)) |
Merge.kif 18468-18473 |
|
(=> (and (defaultMinValue ?REL ?ARG ?N) (?REL @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (modalAttribute (greaterThan ?VAL ?N) Likely)) |
Merge.kif 18451-18456 |
|
(=> (and (defaultValue ?REL ?ARG ?N) (?REL @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (modalAttribute (equal ?N ?VAL) Likely)) |
Merge.kif 18485-18490 |
|
(=> (and (employs ?ORG ?P) (employs ?ORG ?CO) (instance ?D DoNetworkMessaging) (result ?D ?MSG) (attribute ?MSG NSFW) (agent ?D ?P) (instance ?S Seeing) (patient ?S ?MSG) (agent ?S ?CO)) (modalAttribute (exists (?PROC) (and (causes ?D ?PROC) (suffers ?PROC ?P))) Likely)) |
Medicine.kif 3022-3038 |
|
(=> (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 2591-2609 |
|
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W Hardwood) (subclass ?S PlantStem)) (modalAttribute (initialPart ?S DeciduousTree) Likely)) |
Economy.kif 5284-5291 |
|
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W Softwood) (subclass ?S PlantStem)) (modalAttribute (initialPart ?S Conifers) Likely)) |
Economy.kif 5409-5416 |
|
(=> (and (holdsDuring ?T (attribute ?A ?ES)) (actionTendency ?ES ?PI)) (modalAttribute (exists (?P) (and (instance ?P ?PI) (during (WhenFn ?P) ?T) (experiencer ?P ?A))) Likely)) |
emotion.kif 161-172 |
|
(=> (and (holdsDuring ?T (attribute ?F Menopausal)) (birthdate ?F ?B) (instance ?B (DayFn ?D (MonthFn ?M (YearFn ?Y)))) (equal ?A1 (AdditionFn 49 ?Y)) (equal ?A2 (AdditionFn 52 ?Y)) (equal ?START (BeginFn ?T))) (modalAttribute (and (greaterThan ?START ?A1) (greaterThan ?A2 ?START)) Likely)) |
Mid-level-ontology.kif 23915-23931 |
|
(=> (and (holdsDuring ?T (attribute ?H (ImpairedBodyPartFn ?P))) (instance ?PI ?P) (part ?PI ?H) (hasPurpose ?PI ?F)) (modalAttribute (not ?F) Likely)) |
Merge.kif 18247-18257 |
|
(=> (and (holdsDuring ?T (attribute ?H ChronicFatigueSyndrome)) (instance ?R RecreationOrExercise) (agent ?R ?H) (during (WhenFn ?R) ?T)) (modalAttribute (and (holdsDuring ?T2 (attribute ?H PostExertionalMalaise)) (earlier (WhenFn ?R) ?T2)) Likely)) |
Medicine.kif 1500-1512 |
|
(=> (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 3231-3245 |
|
(=> (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 2573-2589 |
|
(=> (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 30650-30671 |
|
(=> (and (instance ?A AntibodyCOVIDTest) (instrument ?M ?A) (instance ?M Measuring) (patient ?M ?H) (instance ?CA COVIDAntibody) (part ?CA ?H)) (modalAttribute (knows ?H (exists (?CA) (and (instance ?CA COVIDAntibody) (part ?CA ?H)))) Likely)) |
Medicine.kif 2763-2777 |
|
(=> (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 4411-4425 |
|
(=> (and (instance ?A RheumatoidArthritis) (experiencer ?A ?H)) (modalAttribute (exists (?JP) (and (instance ?JP JointPain) (causes ?A ?JP))) Likely)) |
Medicine.kif 2230-2239 |
|
(=> (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 1945-1958 |
|
(=> (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 337-352 |
|
(=> (and (instance ?D Antidiuretic) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?D) (instance ?U1 Urination) (result ?U1 ?P1) (agent ?U1 ?H) (instance ?U2 Urination) (not (equal ?U1 ?U2)) (result ?U2 ?P2) (agent ?U2 ?H) (earlier ?U1 ?I) (earlier ?I ?U2) (instance ?V UnitOfVolume) (measure ?U1 (MeasureFn ?N1 ?V)) (measure ?U2 (MeasureFn ?N2 ?V))) (modalAttribute (greaterThan ?N1 ?N2) Likely)) |
Mid-level-ontology.kif 10054-10077 |
|
(=> (and (instance ?D Diuretic) (instance ?I Ingesting) (agent ?I ?H) (moves ?I ?D) (instance ?U1 Urination) (result ?U1 ?P1) (agent ?U1 ?H) (instance ?U2 Urination) (result ?U2 ?P2) (agent ?U2 ?H) (earlier ?U1 ?I) (earlier ?I ?U2) (instance ?V UnitOfVolume) (measure ?U1 (MeasureFn ?N1 ?V)) (measure ?U2 (MeasureFn ?N2 ?V))) (modalAttribute (greaterThan ?N2 ?N1) Likely)) |
Mid-level-ontology.kif 10024-10045 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |