MinuteDuration - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - MinuteDuration

MinuteDuration(minute duration)

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 7126-7126
(documentation MinuteDuration JapaneseLanguage "時間単位。1分 = 60秒。 ")	japanese_format.kif 1288-1288
(instance MinuteDuration TimeDuration)	Merge.kif 7125-7125	Minute duration is an instance of time duration
(instance MinuteDuration UnitOfDuration)	Merge.kif 7124-7124	Minute duration is an instance of unit of duration

appearance as argument number 2

(relatedInternalConcept Minute MinuteDuration)	Merge.kif 9488-9488	Minute is internally related to minute duration
(termFormat ChineseLanguage MinuteDuration "分钟")	domainEnglishFormat.kif 37958-37958	Minute is internally related to minute duration
(termFormat ChineseTraditionalLanguage MinuteDuration "分鐘")	domainEnglishFormat.kif 37957-37957	Minute is internally related to minute duration
(termFormat EnglishLanguage MinuteDuration "minute duration")	domainEnglishFormat.kif 37956-37956	Minute is internally related to minute duration

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 455-471	If a process is an instance of measuring breathing and an agent is an agent of the process and an object is an instance of lung and the object is a part of another object and a time interval is an instance of time interval and the time interval takes place during the time of existence of the process and duration of the time interval is minute duration and the other object is a patient of the process, then there exists an entity such that the agent knows the object breathes at a rate of the entity breaths per the time interval holds during immediately after the time of existence of the process
(=> (and (instance ?S Squall) (eventLocated ?S ?R) (instance ?R GeographicArea) (duration (WhenFn ?S) (MeasureFn ?DUR MinuteDuration))) (greaterThanOrEqualTo ?DUR 1))	Weather.kif 1839-1846	If a process is an instance of squall and the process is located at an object and the object is an instance of geographic area and duration of the time of existence of the process is a real number minute duration(s), then the real number is greater than or equal to 1
(=> (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 6014-6034	If a time interval is an instance of TimePeriod and duration of the time interval is a real number minute duration(s) and the real number is greater than 5.0 and an entity is an instance of human and there doesn't exist a process such that the process is an instance of breathing and the time of existence of the process takes place during the time interval and the entity is a patient of the process, then the statement there exists another entity such that the other entity is an instance of death and the entity experiences the other entity and the time interval meets the time of existence of the other entity has the modal force of likely

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 2947-2964	If equal a function quantity and Mean10MinutesWindSpeedFn for a time interval in region a geographic area, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 5 second duration(s) interval. and The Measuring for list the entity takes 10 minute duration(s). and equal 120 and length of the entity and the other entity is the result of the entity and equal the third entity and PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and equal the function quantity and the average of the numbers in the third entity the fourth entity(s) holds during the time interval
(=> (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 3052-3069	If equal a function quantity and Mean1MinuteWindSpeedFn for a time interval in region a geographic area, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 5 second duration(s) interval. and The Measuring for list the entity takes 1 minute duration(s). and equal 12 and length of the entity and the other entity is the result of the entity and equal the third entity and PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and equal the function quantity and the average of the numbers in the third entity the fourth entity(s) holds during the time interval
(=> (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 3017-3034	If equal a function quantity and Mean2MinutesWindSpeedFn for a time interval in region a geographic area, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 5 second duration(s) interval. and The Measuring for list the entity takes 2 minute duration(s). and equal 24 and length of the entity and the other entity is the result of the entity and equal the third entity and PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and equal the function quantity and the average of the numbers in the third entity the fourth entity(s) holds during the time interval
(=> (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 2982-2999	If equal a function quantity and Mean3MinutesWindSpeedFn for a time interval in region a geographic area, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 5 second duration(s) interval. and The Measuring for list the entity takes 2 minute duration(s). and equal 36 and length of the entity and the other entity is the result of the entity and equal the third entity and PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and equal the function quantity and the average of the numbers in the third entity the fourth entity(s) holds during the time interval
(=> (equal ?SPEEDLIST (Mean3SecondWindSpeedListFn ?PLACE ?TIME)) (duration ?TIME (MeasureFn 2 MinuteDuration)))	Weather.kif 2743-2747	If equal a list and Mean3SecondWindSpeedListFn ending at a time interval in region a geographic area, then duration of the time interval is 2 minute duration(s)
(=> (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 2330-2364	If a physical is an instance of transmission, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity,, , a sixth entity,, , a seventh entity,, , a eighth entity,, , a ninth entity and a tenth entity such that the entity is an instance of crankshaft and the other entity is an instance of driveshaft and the third entity is an instance of automobile and the other entity is a part of the third entity and the physical is a part of the third entity and the entity is a part of the third entity and the entity is connected to the physical and the other entity is connected to the physical and the fourth entity is an instance of rotating and the sixth entity is an instance of rotating and the seventh entity is an instance of rotating and the eighth entity is an instance of rotating and the entity is a patient of the fourth entity and the entity is a patient of the sixth entity and the other entity is a patient of the seventh entity and the other entity is a patient of the eighth entity and the fourth entity causes the seventh entity and the sixth entity causes the eighth entity and equal the fourth entity and the sixth entity and the measure of the entity is the rotation of the fifth entity during minute duration holds during the fourth entity and the measure of the entity is the rotation of the fifth entity during minute duration holds during the sixth entity and the measure of the other entity is the rotation of the ninth entity during minute duration holds during the seventh entity and the measure of the other entity is the rotation of the tenth entity during minute duration holds during the eighth entity and equal the ninth entity and the tenth entity
(=> (instance ?IV IVBolusTherapy) (and (duration (WhenFn ?IV) (MeasureFn ?N MinuteDuration)) (lessThan ?N 5.0)))	Medicine.kif 6179-6185	If a physical is an instance of IV bolus therapy, then duration of the time of existence of the physical is a real number minute duration(s) and the real number is less than 5.0
(=> (instance ?MINUTE Minute) (duration ?MINUTE (MeasureFn 1 MinuteDuration)))	Merge.kif 9492-9494	If a time interval is an instance of minute, then duration of the time interval is 1 minute duration(s)

statement

(equal (MeasureFn ?NUMBER HourDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) MinuteDuration))	Merge.kif 7120-7122	equal a real number hour duration(s) and the real number and 60 minute duration(s)
(equal (MeasureFn ?NUMBER MinuteDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) SecondDuration))	Merge.kif 7128-7130	equal a real number minute duration(s) and the real number and 60 second duration(s)

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