Sigma KEE - duration

(=> (instance ?H Hanukkah) (duration ?H (MeasureFn 8 DayDuration)))	Media.kif 580-582	Wenn TimeInterval ist ein fall von Hanukkah %n{nicht}, dann dauer von ** TimeInterval ist 8 DayDuration(s) %n{nicht}
(=> (instance ?HOUR Hour) (duration ?HOUR (MeasureFn 1 HourDuration)))	Merge.kif 9368-9370	Wenn TimeInterval ist ein fall von Hour %n{nicht}, dann dauer von ** TimeInterval ist 1 HourDuration(s) %n{nicht}
(=> (instance ?IV IVBolusTherapy) (and (duration (WhenFn ?IV) (MeasureFn ?N MinuteDuration)) (lessThan ?N 5.0)))	Medicine.kif 6162-6168	Wenn Physical ist ein fall von IVBolusTherapy %n{nicht}, dann dauer von die zeit des Bestehens von Physical ist RealNumber MinuteDuration(s) %n{nicht} und RealNumber ist kleinerAls 5.0 %n{nicht}
(=> (instance ?Loan DayLoan) (and (agreementPeriod ?Loan ?Period) (duration ?Period (MeasureFn 1 DayDuration))))	FinancialOntology.kif 1579-1583	Wenn Agreement ist ein fall von DayLoan %n{nicht}, dann agreementPeriod Agreement and TimeInterval und dauer von TimeInterval ist 1 DayDuration(s) %n{nicht}
(=> (instance ?MINUTE Minute) (duration ?MINUTE (MeasureFn 1 MinuteDuration)))	Merge.kif 9378-9380	Wenn TimeInterval ist ein fall von Minute %n{nicht}, dann dauer von ** TimeInterval ist 1 MinuteDuration(s) %n{nicht}
(=> (instance ?MONTH April) (duration ?MONTH (MeasureFn 30 DayDuration)))	Merge.kif 9126-9128	Wenn TimeInterval ist ein fall von April %n{nicht}, dann dauer von ** TimeInterval ist 30 DayDuration(s) %n{nicht}
(=> (instance ?MONTH August) (duration ?MONTH (MeasureFn 31 DayDuration)))	Merge.kif 9182-9184	Wenn TimeInterval ist ein fall von August %n{nicht}, dann dauer von ** TimeInterval ist 31 DayDuration(s) %n{nicht}
(=> (instance ?MONTH December) (duration ?MONTH (MeasureFn 31 DayDuration)))	Merge.kif 9239-9241	Wenn TimeInterval ist ein fall von December %n{nicht}, dann dauer von ** TimeInterval ist 31 DayDuration(s) %n{nicht}
(=> (instance ?MONTH January) (duration ?MONTH (MeasureFn 31 DayDuration)))	Merge.kif 9074-9076	Wenn TimeInterval ist ein fall von January %n{nicht}, dann dauer von ** TimeInterval ist 31 DayDuration(s) %n{nicht}
(=> (instance ?MONTH July) (duration ?MONTH (MeasureFn 31 DayDuration)))	Merge.kif 9168-9170	Wenn TimeInterval ist ein fall von July %n{nicht}, dann dauer von ** TimeInterval ist 31 DayDuration(s) %n{nicht}
(=> (instance ?MONTH June) (duration ?MONTH (MeasureFn 30 DayDuration)))	Merge.kif 9154-9156	Wenn TimeInterval ist ein fall von June %n{nicht}, dann dauer von ** TimeInterval ist 30 DayDuration(s) %n{nicht}
(=> (instance ?MONTH March) (duration ?MONTH (MeasureFn 31 DayDuration)))	Merge.kif 9112-9114	Wenn TimeInterval ist ein fall von March %n{nicht}, dann dauer von ** TimeInterval ist 31 DayDuration(s) %n{nicht}
(=> (instance ?MONTH May) (duration ?MONTH (MeasureFn 31 DayDuration)))	Merge.kif 9140-9142	Wenn TimeInterval ist ein fall von May %n{nicht}, dann dauer von ** TimeInterval ist 31 DayDuration(s) %n{nicht}
(=> (instance ?MONTH November) (duration ?MONTH (MeasureFn 30 DayDuration)))	Merge.kif 9225-9227	Wenn TimeInterval ist ein fall von November %n{nicht}, dann dauer von ** TimeInterval ist 30 DayDuration(s) %n{nicht}
(=> (instance ?MONTH October) (duration ?MONTH (MeasureFn 31 DayDuration)))	Merge.kif 9211-9213	Wenn TimeInterval ist ein fall von October %n{nicht}, dann dauer von ** TimeInterval ist 31 DayDuration(s) %n{nicht}
(=> (instance ?MONTH September) (duration ?MONTH (MeasureFn 30 DayDuration)))	Merge.kif 9197-9199	Wenn TimeInterval ist ein fall von September %n{nicht}, dann dauer von ** TimeInterval ist 30 DayDuration(s) %n{nicht}
(=> (instance ?PROCESS Blizzard) (holdsDuring (WhenFn ?PROCESS) (exists (?AREA ?GALE ?DURATION) (and (instance ?AREA GeographicArea) (eventLocated ?PROCESS ?AREA) (surfaceWindSpeed ?AREA (MeasureFn ?GALE KnotUnitOfSpeed)) (greaterThan ?GALE 35.0) (duration (WhenFn ?PROCESS) (MeasureFn ?DURATION HourDuration)) (greaterThan ?DURATION 3)))))	Weather.kif 2623-2636	Wenn Physical ist ein fall von Blizzard %n{nicht}, dann es gibt entity, entity, and und entity um entity ist ein fall von GeographicArea %n{nicht} und eventLocated Physical and entity und surfaceWindSpeed entity and entity KnotUnitOfSpeed(s) und entity ist groesserAls 35.0 %n{nicht} und dauer von die zeit des Bestehens von Physical ist entity HourDuration(s) %n{nicht} und entity ist groesserAls 3 %n{nicht} haelt waehrend die zeit des Bestehens von Physical %n{nicht}
(=> (instance ?Q QuarterYear) (duration ?Q (MeasureFn 3 MonthDuration)))	Merge.kif 9013-9015	Wenn TimeInterval ist ein fall von QuarterYear %n{nicht}, dann dauer von ** TimeInterval ist 3 MonthDuration(s) %n{nicht}
(=> (instance ?SECOND Second) (duration ?SECOND (MeasureFn 1 SecondDuration)))	Merge.kif 9388-9390	Wenn TimeInterval ist ein fall von Second %n{nicht}, dann dauer von ** TimeInterval ist 1 SecondDuration(s) %n{nicht}
(=> (instance ?T1 Lent) (duration ?T1 (MeasureFn 40 DayDuration)))	Media.kif 455-457	Wenn TimeInterval ist ein fall von Lent %n{nicht}, dann dauer von ** TimeInterval ist 40 DayDuration(s) %n{nicht}
(=> (instance ?WEEK Week) (duration ?WEEK (MeasureFn 1 WeekDuration)))	Merge.kif 9358-9360	Wenn TimeInterval ist ein fall von Week %n{nicht}, dann dauer von ** TimeInterval ist 1 WeekDuration(s) %n{nicht}
(=> (instance ?YEAR Year) (duration ?YEAR (MeasureFn 1 YearDuration)))	Merge.kif 8766-8768	Wenn TimeInterval ist ein fall von Year %n{nicht}, dann dauer von ** TimeInterval ist 1 YearDuration(s) %n{nicht}
(=> (measuringListDuration ?LIST ?DURATION) (exists (?T) (and (equal ?T (TimeIntervalFn (BeginFn (WhenFn (FirstFn ?LIST))) (EndFn (WhenFn (LastFn ?LIST))))) (duration ?T ?DURATION))))	Weather.kif 1874-1882	Wenn measuringListDuration MeasuringList and TimeDuration, dann es gibt TimeInterval um TimeInterval ist gleich abstand zwischen der anfang von die zeit des Bestehens von FirstFn MeasuringList und das ende von die zeit des Bestehens von LastFn MeasuringList %n{nicht} und dauer von TimeInterval ist ** TimeDuration %n{nicht}
(=> (property ?Option ConventionalOption) (exists (?Number ?Period) (and (agreementPeriod ?Option ?Period) (duration ?Period (MeasureFn ?Number MonthDuration)) (lessThan ?Number 39))))	FinancialOntology.kif 2574-2580	Wenn Agreement hat ein attribut ConventionalOption %n{nicht}, dann es gibt RealNumber und TimeInterval um agreementPeriod Agreement and TimeInterval und dauer von TimeInterval ist RealNumber MonthDuration(s) %n{nicht} und ** RealNumber ist kleinerAls 39 %n{nicht}
(=> (property ?Option ConventionalOption) (exists (?Number ?Period) (and (agreementPeriod ?Option ?Period) (duration ?Period (MeasureFn ?Number MonthDuration)) (lessThan ?Number 9))))	FinancialOntology.kif 2558-2564	Wenn Agreement hat ein attribut ConventionalOption %n{nicht}, dann es gibt RealNumber und TimeInterval um agreementPeriod Agreement and TimeInterval und dauer von TimeInterval ist RealNumber MonthDuration(s) %n{nicht} und ** RealNumber ist kleinerAls 9 %n{nicht}

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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