TreeView Knowledge Base Browser - MinuteDuration

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - MinuteDuration

MinuteDuration

appearance as argument number 1

(documentation MinuteDuration ChineseLanguage "这是时间单位，1分钟 = 60秒。 ")	chinese_format.kif 2581-2581
(documentation MinuteDuration EnglishLanguage "Time unit. 1 minute = 60 seconds. ")	Merge.kif 7096-7096
(documentation MinuteDuration JapaneseLanguage "時間単位。1分 = 60秒。 ")	japanese_format.kif 1288-1288
(instance MinuteDuration TimeDuration)	Merge.kif 7095-7095
(instance MinuteDuration UnitOfDuration)	Merge.kif 7094-7094

appearance as argument number 2

(relatedInternalConcept Minute MinuteDuration)	Merge.kif 9402-9402
(termFormat ChineseLanguage MinuteDuration "分钟")	domainEnglishFormat.kif 37978-37978
(termFormat ChineseTraditionalLanguage MinuteDuration "分鐘")	domainEnglishFormat.kif 37977-37977
(termFormat EnglishLanguage MinuteDuration "minute duration")	domainEnglishFormat.kif 37976-37976

antecedent

(=> (and (instance ?MB MeasuringBreathing) (agent ?MB ?A) (instance ?L Lung) (part ?L ?P) (instance ?T TimeInterval) (during ?T (WhenFn ?MB)) (duration ?T MinuteDuration) (patient ?MB ?P)) (holdsDuring (ImmediateFutureFn (WhenFn ?MB)) (exists (?BR) (knows ?A (breathingRate ?L ?T ?BR)))))	Medicine.kif 466-482
(=> (and (instance ?T TimePeriod) (duration ?T (MeasureFn ?N MinuteDuration)) (greaterThan ?N 5.0) (instance ?H Human) (not (exists (?B) (and (instance ?B Breathing) (during (WhenFn ?B) ?T) (patient ?B ?H))))) (modalAttribute (exists (?D) (and (instance ?D Death) (experiencer ?D ?H) (meetsTemporally ?T (WhenFn ?D)))) Likely))	Medicine.kif 5997-6017

consequent

(=> (equal ?SPEED (Mean10MinutesWindSpeedFn ?PLACE ?TIME)) (holdsDuring ?TIME (exists (?MLIST ?RLIST ?NLIST ?UNIT) (and (instance ?MLIST MeasuringSurfaceWindSpeedList) (locationMeasuringList ?MLIST ?PLACE) (measuringListInterval ?MLIST (MeasureFn 5 SecondDuration)) (measuringListDuration ?MLIST (MeasureFn 10 MinuteDuration)) (equal 120 (ListLengthFn ?MLIST)) (measuringResult ?MLIST ?RLIST) (equal ?NLIST (PhysicalQuantityToNumberFn ?RLIST)) (equal ?SPEED (MeasureFn (AverageFn ?NLIST) ?UNIT))))))	Weather.kif 2206-2223
(=> (equal ?SPEED (Mean1MinuteWindSpeedFn ?PLACE ?TIME)) (holdsDuring ?TIME (exists (?MLIST ?RLIST ?NLIST ?UNIT) (and (instance ?MLIST MeasuringSurfaceWindSpeedList) (locationMeasuringList ?MLIST ?PLACE) (measuringListInterval ?MLIST (MeasureFn 5 SecondDuration)) (measuringListDuration ?MLIST (MeasureFn 1 MinuteDuration)) (equal 12 (ListLengthFn ?MLIST)) (measuringResult ?MLIST ?RLIST) (equal ?NLIST (PhysicalQuantityToNumberFn ?RLIST)) (equal ?SPEED (MeasureFn (AverageFn ?NLIST) ?UNIT))))))	Weather.kif 2311-2328
(=> (equal ?SPEED (Mean2MinutesWindSpeedFn ?PLACE ?TIME)) (holdsDuring ?TIME (exists (?MLIST ?RLIST ?NLIST ?UNIT) (and (instance ?MLIST MeasuringSurfaceWindSpeedList) (locationMeasuringList ?MLIST ?PLACE) (measuringListInterval ?MLIST (MeasureFn 5 SecondDuration)) (measuringListDuration ?MLIST (MeasureFn 2 MinuteDuration)) (equal 24 (ListLengthFn ?MLIST)) (measuringResult ?MLIST ?RLIST) (equal ?NLIST (PhysicalQuantityToNumberFn ?RLIST)) (equal ?SPEED (MeasureFn (AverageFn ?NLIST) ?UNIT))))))	Weather.kif 2276-2293
(=> (equal ?SPEED (Mean3MinutesWindSpeedFn ?PLACE ?TIME)) (holdsDuring ?TIME (exists (?MLIST ?RLIST ?NLIST ?UNIT) (and (instance ?MLIST MeasuringSurfaceWindSpeedList) (locationMeasuringList ?MLIST ?PLACE) (measuringListInterval ?MLIST (MeasureFn 5 SecondDuration)) (measuringListDuration ?MLIST (MeasureFn 2 MinuteDuration)) (equal 36 (ListLengthFn ?MLIST)) (measuringResult ?MLIST ?RLIST) (equal ?NLIST (PhysicalQuantityToNumberFn ?RLIST)) (equal ?SPEED (MeasureFn (AverageFn ?NLIST) ?UNIT))))))	Weather.kif 2241-2258
(=> (equal ?SPEEDLIST (Mean3SecondWindSpeedListFn ?PLACE ?TIME)) (duration ?TIME (MeasureFn 2 MinuteDuration)))	Weather.kif 2002-2006
(=> (instance ?AT AutomobileTransmission) (hasPurpose ?AT (exists (?C ?D ?A ?R1 ?N1 ?R2 ?R3 ?R4 ?N2 ?N3) (and (instance ?C Crankshaft) (instance ?D Driveshaft) (instance ?A Automobile) (part ?D ?A) (part ?AT ?A) (part ?C ?A) (connectedEngineeringComponents ?C ?AT) (connectedEngineeringComponents ?D ?AT) (instance ?R1 Rotating) (instance ?R2 Rotating) (instance ?R3 Rotating) (instance ?R4 Rotating) (patient ?R1 ?C) (patient ?R2 ?C) (patient ?R3 ?D) (patient ?R4 ?D) (causes ?R1 ?R3) (causes ?R2 ?R4) (not (equal ?R1 ?R2)) (holdsDuring ?R1 (measure ?C (RotationFn ?N1 MinuteDuration))) (holdsDuring ?R2 (measure ?C (RotationFn ?N1 MinuteDuration))) (holdsDuring ?R3 (measure ?D (RotationFn ?N2 MinuteDuration))) (holdsDuring ?R4 (measure ?D (RotationFn ?N3 MinuteDuration))) (not (equal ?N2 ?N3))))))	Cars.kif 2329-2363
(=> (instance ?IV IVBolusTherapy) (and (duration (WhenFn ?IV) (MeasureFn ?N MinuteDuration)) (lessThan ?N 5.0)))	Medicine.kif 6162-6168
(=> (instance ?MINUTE Minute) (duration ?MINUTE (MeasureFn 1 MinuteDuration)))	Merge.kif 9406-9408

statement

(equal (MeasureFn ?NUMBER HourDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) MinuteDuration))	Merge.kif 7090-7092
(equal (MeasureFn ?NUMBER MinuteDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) SecondDuration))	Merge.kif 7098-7100

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

Show without tree

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