Likely - Sigma Knowledge base Browser

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	Wenn Process ist ein fall von Bleeding %n{nicht} und Entity ist ein fall von Death %n{nicht} und Formula ist ein fall von Human %n{nicht} und AutonomousAgent ist ein fall von Human %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht} und Formula ist Near hinsichlich AutonomousAgent %n{nicht} und die Aussage Process verursacht Entity %n{nicht} hat die modale Kraft von Likely, dann es gibt entity um entity ist ein fall von Attaching %n{nicht} und entity ist der agent von Formula %n{nicht} und entity endet an AutonomousAgent %n{nicht} wird gezwungen, die Aufgabe der Art von Formula durchzuf�hren %n{nicht}
(=> (modalAttribute ?FORMULA Likely) (greaterThan (ProbabilityFn (truth ?FORMULA True)) (ProbabilityFn (truth ?FORMULA False))))	Merge.kif 17551-17553	Wenn die Aussage Formula hat die modale Kraft von Likely, dann die wahrscheinlichkeit von truth Formula and True ist groesserAls die wahrscheinlichkeit von truth Formula and False %n{nicht}

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	Wenn agreementClause Proposition, DeonticAttribute, Agreement and CognitiveAgent und DeonticAttribute ist gleich Obligation %n{nicht} oder DeonticAttribute ist gleich Promise %n{nicht}, dann die Aussage es gibt entity um entity druekt den Inhalt von Proposition aus und entity ist der agent von CognitiveAgent %n{nicht} hat die modale Kraft von Likely
(=> (and (albumCoverImage ?A ?I) (instance ?CD (AlbumCopiesFn ?A ?DS)) (contains ?C ?CD)) (modalAttribute (part ?I (FrontFn ?C)) Likely))	Music.kif 316-322	Wenn albumCoverImage Album and Image und Object ist ein fall von AlbumCopiesFn Album and DataStorageDevice %n{nicht} und contains SelfConnectedObject and Object, dann die Aussage Image ist ein teil von die frontseite von ** SelfConnectedObject %n{nicht} hat die modale Kraft von Likely
(=> (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	Wenn allergic Human and Substance und SubstanceUB ist ein fall von Substance %n{nicht} und SubstanceUB schliesst Human raeumlich an haelt waehrend TimePosition %n{nicht}, dann die Aussage es gibt entity um entity ist ein fall von AllergicReaction %n{nicht} und Human erfaehrt entity %n{nicht} und die zeit des Bestehens von entity deckt sich mit TimePosition %n{nicht} und der anfang von TimePosition geschieht vor der anfang von die zeit des Bestehens von ** entity %n{nicht} hat die modale Kraft von Likely
(=> (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	Wenn ADHD ist ein attribut von AutonomousAgent %n{nicht} und ADHD ist ein attribut von AutonomousAgent nicht und AutonomousAgent ist gleich AutonomousAgent nicht und Process ist ein fall von Class %n{nicht} und Process ist ein fall von Class %n{nicht} und Class ist eine teilkategorie von IntentionalPsychologicalProcess und Process ist der agent von AutonomousAgent %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und dauer von die zeit des Bestehens von Process ist TimeDuration %n{nicht} und dauer von die zeit des Bestehens von Process ist TimeDuration %n{nicht}, dann die Aussage TimeDuration ist groesserAls TimeDuration %n{nicht} hat die modale Kraft von Likely
(=> (and (defaultMaxValue ?REL ?ARG ?N) (?REL @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (modalAttribute (greaterThan ?N ?VAL) Likely))	Merge.kif 18468-18473	Wenn defaultMaxValue Predicate, PositiveInteger and Quantity und Predicate @ARGS und Entity ist gleich PositiveIntegerte mitglied von (@ARGS) %n{nicht}, dann die Aussage Quantity ist groesserAls Entity %n{nicht} hat die modale Kraft von Likely
(=> (and (defaultMinValue ?REL ?ARG ?N) (?REL @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (modalAttribute (greaterThan ?VAL ?N) Likely))	Merge.kif 18451-18456	Wenn defaultMinValue Predicate, PositiveInteger and Quantity und Predicate @ARGS und Entity ist gleich PositiveIntegerte mitglied von (@ARGS) %n{nicht}, dann die Aussage Entity ist groesserAls Quantity %n{nicht} hat die modale Kraft von Likely
(=> (and (defaultValue ?REL ?ARG ?N) (?REL @ARGS) (equal ?VAL (ListOrderFn (ListFn @ARGS) ?ARG))) (modalAttribute (equal ?N ?VAL) Likely))	Merge.kif 18485-18490	Wenn defaultValue Predicate, PositiveInteger and Quantity und Predicate @ARGS und Entity ist gleich PositiveIntegerte mitglied von (@ARGS) %n{nicht}, dann die Aussage Quantity ist gleich Entity %n{nicht} hat die modale Kraft von Likely
(=> (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	Wenn AutonomousAgent beschaeftigt CognitiveAgent %n{nicht} und AutonomousAgent beschaeftigt CognitiveAgent %n{nicht} und Process ist ein fall von DoNetworkMessaging %n{nicht} und Object ist ein resultat von Process %n{nicht} und NSFW ist ein attribut von Object %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Process ist ein fall von Seeing %n{nicht} und Object ist ein patient von Process %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht}, dann die Aussage es gibt CognitiveAgentROC um Process verursacht CognitiveAgentROC %n{nicht} und suffers CognitiveAgentROC and ** CognitiveAgent hat die modale Kraft von Likely
(=> (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	Wenn engineIdleSpeed InternalCombustionEngine and RotationFn RealNumber MilesPerHour(s) and TimeDuration und Object ist ein fall von Automobile %n{nicht} und Process ist ein fall von GasPedal %n{nicht} und Process ist ein fall von Pushing %n{nicht} und Process endet an Object %n{nicht} und InternalCombustionEngine ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von Crankshaft %n{nicht} und Object ist ein teil von InternalCombustionEngine %n{nicht} und das mass von Object ist RotationFn entity MilesPerHour(s) and TimeDuration %n{nicht} haelt waehrend die zeit des Bestehens von Process %n{nicht}, dann die Aussage entity ist groesserAls RealNumber %n{nicht} hat die modale Kraft von Likely
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W Hardwood) (subclass ?S PlantStem)) (modalAttribute (initialPart ?S DeciduousTree) Likely))	Economy.kif 5284-5291	Wenn Object ist gleich OrganicObjectFn OrganicObject %n{nicht} und Object ist eine teilkategorie von Hardwood und OrganicObject ist eine teilkategorie von PlantStem, dann die Aussage initialPart OrganicObject and DeciduousTree hat die modale Kraft von Likely
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W Softwood) (subclass ?S PlantStem)) (modalAttribute (initialPart ?S Conifers) Likely))	Economy.kif 5409-5416	Wenn Object ist gleich OrganicObjectFn OrganicObject %n{nicht} und Object ist eine teilkategorie von Softwood und OrganicObject ist eine teilkategorie von PlantStem, dann die Aussage initialPart OrganicObject and Conifers hat die modale Kraft von Likely
(=> (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	Wenn EmotionalState ist ein attribut von entity %n{nicht} haelt waehrend TimePosition %n{nicht} und actionTendency EmotionalState and EmotionalBehavioralProcess, dann die Aussage es gibt entity um entity ist ein fall von EmotionalBehavioralProcess %n{nicht} und die zeit des Bestehens von entity geschieht waehrend TimePosition %n{nicht} und entity erfaehrt entity %n{nicht} hat die modale Kraft von Likely
(=> (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	Wenn Menopausal ist ein attribut von Human %n{nicht} haelt waehrend TimeInterval %n{nicht} und birthdate Human and Day und Day ist ein fall von der tag PositiveInteger %n{nicht} und RealNumber ist gleich (49 und Integer) %n{nicht} und RealNumber ist gleich (52 und Integer) %n{nicht} und TimePoint ist gleich der anfang von TimeInterval %n{nicht}, dann die Aussage TimePoint ist groesserAls RealNumber %n{nicht} und RealNumber ist groesserAls TimePoint %n{nicht} hat die modale Kraft von Likely
(=> (and (holdsDuring ?T (attribute ?H (ImpairedBodyPartFn ?P))) (instance ?PI ?P) (part ?PI ?H) (hasPurpose ?PI ?F)) (modalAttribute (not ?F) Likely))	Merge.kif 18247-18257	Wenn ImpairedBodyPartFn Class ist ein attribut von Object %n{nicht} haelt waehrend TimePosition %n{nicht} und ClassI ist ein fall von Class %n{nicht} und ClassI ist ein teil von Object %n{nicht} und ClassI hat Zweck von Formula %n{nicht}, dann die Aussage Formula hat die modale Kraft von Likely
(=> (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	Wenn ChronicFatigueSyndrome ist ein attribut von AutonomousAgent %n{nicht} haelt waehrend TimeInterval %n{nicht} und Process ist ein fall von RecreationOrExercise %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und die zeit des Bestehens von Process geschieht waehrend TimeInterval %n{nicht}, dann die Aussage PostExertionalMalaise ist ein attribut von AutonomousAgent %n{nicht} haelt waehrend TimeInterval2 %n{nicht} und die zeit des Bestehens von Process geschieht frueh als TimeInterval2 %n{nicht} hat die modale Kraft von Likely
(=> (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	Wenn Booting ist ein attribut von EngineeringComponent %n{nicht} haelt waehrend Physical %n{nicht} und HostReady ist ein attribut von EngineeringComponent %n{nicht} haelt waehrend Physical2 %n{nicht} und Physical2 ist gleich sofort nach die zeit des Bestehens von Physical %n{nicht} und EngineeringComponent ist ein fall von ComputerDisplay %n{nicht} und EngineeringComponent wird mit EngineeringComponent angeschlossen, dann die Aussage es gibt entity um entity ist ein fall von HomeScreen %n{nicht} und displayedUpon entity and EngineeringComponent hat die modale Kraft von Likely
(=> (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	Wenn das mass von Object ist FunctionQuantity %n{nicht} haelt waehrend TimePosition %n{nicht} und engineIdleSpeed InternalCombustionEngine and FunctionQuantity und Object ist ein fall von Automobile %n{nicht} und InternalCombustionEngine ist ein teil von Object %n{nicht} und Object ist ein teil von InternalCombustionEngine %n{nicht}, dann die Aussage es gibt nicht entity und entity um entity geschieht waehrend TimePosition %n{nicht} und entity ist ein fall von Pushing %n{nicht} und entity endet an entity %n{nicht} und entity ist ein teil von Object %n{nicht} hat die modale Kraft von Likely
(=> (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	Wenn Dieting ist ein attribut von AutonomousAgent %n{nicht} haelt waehrend TimeInterval %n{nicht} und Dieting ist ein attribut von AutonomousAgent nicht haelt waehrend TimeInterval %n{nicht} und Object ist ein fall von Meal %n{nicht} und Process ist ein fall von Eating %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Object ist ein hilfmittel fuer Process %n{nicht} und die zeit des Bestehens von Process geschieht waehrend TimeInterval %n{nicht} und das mass von Object ist RealNumber Calorie(s) %n{nicht} und Object ist ein fall von Meal %n{nicht} und Process ist ein fall von Eating %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und Object ist ein hilfmittel fuer Process %n{nicht} und die zeit des Bestehens von Process geschieht waehrend TimeInterval %n{nicht} und das mass von Object ist RealNumber Calorie(s) %n{nicht}, dann die Aussage RealNumber ist groesserAls RealNumber %n{nicht} hat die modale Kraft von Likely
(=> (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	Wenn Object ist ein fall von AntibodyCOVIDTest %n{nicht} und Object ist ein instrument fuer Process %n{nicht} und Process ist ein fall von Measuring %n{nicht} und Object ist ein patient von Process %n{nicht} und Object ist ein fall von COVIDAntibody %n{nicht} und Object ist ein teil von Object %n{nicht}, dann die Aussage Object kennt es gibt Object um Object ist ein fall von COVIDAntibody %n{nicht} und Object ist ein teil von ** Object %n{nicht} %n{nicht} hat die modale Kraft von Likely
(=> (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	Wenn AutonomousAgent ist ein fall von Biped %n{nicht} und Process ist ein fall von Ambulating %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann die Aussage es gibt entity und entity um entity ist ein fall von Leg %n{nicht} und entity ist ein fall von Leg %n{nicht} und entity ist ein teil von AutonomousAgent %n{nicht} und entity ist ein teil von AutonomousAgent %n{nicht} und entity ist ein instrument fuer Process %n{nicht} und entity ist ein instrument fuer Process %n{nicht} hat die modale Kraft von Likely
(=> (and (instance ?A RheumatoidArthritis) (experiencer ?A ?H)) (modalAttribute (exists (?JP) (and (instance ?JP JointPain) (causes ?A ?JP))) Likely))	Medicine.kif 2230-2239	Wenn Process ist ein fall von RheumatoidArthritis %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}, dann die Aussage es gibt entity um entity ist ein fall von JointPain %n{nicht} und Process verursacht entity %n{nicht} hat die modale Kraft von Likely
(=> (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	Wenn Process ist ein fall von AngryVoiceUtterance %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht}, dann die Aussage causesProposition es gibt AutonomousAgentNG um AutonomousAgentNG ist ein fall von Anger %n{nicht} und AutonomousAgent erfaehrt AutonomousAgentNG %n{nicht} and Process ist ein fall von AngryVoiceUtterance %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} hat die modale Kraft von Likely
(=> (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	Wenn Process ist ein fall von Buying %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process beginnet an CognitiveAgent %n{nicht} und publishedPrice Entity, CurrencyMeasure, CognitiveAgent and PricingScheme oder unitPrice Entity, FunctionQuantity, CognitiveAgent and PricingScheme und Entity ist eine teilkategorie von Physical und Entity ist ein direkter fall von Entity und validPaymentType PricingScheme and Payment, dann die Aussage es gibt PaymentMENT um PaymentMENT ist ein fall von Payment %n{nicht} und PaymentMENT ist ein subProzess von Process hat die modale Kraft von Likely
(=> (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	Wenn Object ist ein fall von Antidiuretic %n{nicht} und Motion ist ein fall von Ingesting %n{nicht} und Motion ist der agent von AutonomousAgent %n{nicht} und moves Motion and Object und TimeInterval ist ein fall von Urination %n{nicht} und Entity ist ein resultat von TimeInterval %n{nicht} und TimeInterval ist der agent von AutonomousAgent %n{nicht} und TimeInterval ist ein fall von Urination %n{nicht} und TimeInterval ist gleich TimeInterval nicht und Entity ist ein resultat von TimeInterval %n{nicht} und TimeInterval ist der agent von AutonomousAgent %n{nicht} und TimeInterval geschieht frueh als Motion %n{nicht} und Motion geschieht frueh als TimeInterval %n{nicht} und UnitOfMeasure ist ein fall von UnitOfVolume %n{nicht} und das mass von TimeInterval ist RealNumber UnitOfMeasure(s) %n{nicht} und das mass von TimeInterval ist RealNumber UnitOfMeasure(s) %n{nicht}, dann die Aussage RealNumber ist groesserAls RealNumber %n{nicht} hat die modale Kraft von Likely
(=> (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	Wenn Object ist ein fall von Diuretic %n{nicht} und Motion ist ein fall von Ingesting %n{nicht} und Motion ist der agent von AutonomousAgent %n{nicht} und moves Motion and Object und TimeInterval ist ein fall von Urination %n{nicht} und Entity ist ein resultat von TimeInterval %n{nicht} und TimeInterval ist der agent von AutonomousAgent %n{nicht} und TimeInterval ist ein fall von Urination %n{nicht} und Entity ist ein resultat von TimeInterval %n{nicht} und TimeInterval ist der agent von AutonomousAgent %n{nicht} und TimeInterval geschieht frueh als Motion %n{nicht} und Motion geschieht frueh als TimeInterval %n{nicht} und UnitOfMeasure ist ein fall von UnitOfVolume %n{nicht} und das mass von TimeInterval ist RealNumber UnitOfMeasure(s) %n{nicht} und das mass von TimeInterval ist RealNumber UnitOfMeasure(s) %n{nicht}, dann die Aussage RealNumber ist groesserAls ** RealNumber %n{nicht} hat die modale Kraft von Likely

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: