Minute - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Minute

Minute(minute)

appearance as argument number 1

(documentation Minute ChineseLanguage "这是所有时钟 Minute 的 Class。")	chinese_format.kif 2817-2817
(documentation Minute EnglishLanguage "The Class of all clock Minutes.")	Merge.kif 9490-9490
(documentation Minute JapaneseLanguage "すべての丸々 Minute の　Class。")	japanese_format.kif 1558-1558
(relatedInternalConcept Minute MinuteDuration)	Merge.kif 9488-9488	Minute is internally related to minute duration
(relatedInternalConcept Minute MinuteFn)	Merge.kif 9487-9487	Minute is internally related to minute
(subclass Minute TimeInterval)	Merge.kif 9486-9486	Minute is a subclass of time interval

appearance as argument number 2

(rangeSubclass MinuteFn Minute)	Merge.kif 8754-8754	The values returned by minute are subclasses of minute
(termFormat ChineseLanguage Minute "分钟")	chinese_format.kif 1299-1299	The values returned by minute are subclasses of minute
(termFormat EnglishLanguage Minute "minute")	english_format.kif 1815-1815	The values returned by minute are subclasses of minute
(termFormat FrenchLanguage Minute "minute")	french_format.kif 977-977	The values returned by minute are subclasses of minute
(termFormat Hindi Minute "minata")	terms-hindi.txt 512-512	The values returned by minute are subclasses of minute
(termFormat ItalianLanguage Minute "Minuto")	terms-it.txt 516-516	The values returned by minute are subclasses of minute
(termFormat JapaneseLanguage Minute "分")	japanese_format.kif 2661-2661	The values returned by minute are subclasses of minute
(termFormat PortugueseLanguage Minute "Minuto")	portuguese_format.kif 929-929	The values returned by minute are subclasses of minute
(termFormat cb Minute "minuto")	terms-cb.txt 518-518	The values returned by minute are subclasses of minute
(termFormat cz Minute "minute")	terms-cz.txt 552-552	The values returned by minute are subclasses of minute
(termFormat de Minute "Minute")	terms-de.txt 811-811	The values returned by minute are subclasses of minute
(termFormat ro Minute "minut")	relations-ro.kif 998-998	The values returned by minute are subclasses of minute
(termFormat tg Minute "minuto")	terms-tg.txt 517-517	The values returned by minute are subclasses of minute

appearance as argument number 3

(domainSubclass SecondFn 2 Minute)

Merge.kif 8780-8780

The number 2 argument of second is a subclass of minute

antecedent

(=> (and (breathingRate ?H ?T ?R) (instance ?T Minute) (not (exists (?R) (and (instance ?R RecreationOrExercise) (agent ?R ?H) (during ?T (WhenFn ?R))))) (holdsDuring ?T (attribute ?H HumanAdult)) (or (greaterThan ?R 16) (lessThan ?R 12))) (holdsDuring ?T (not (attribute ?H Healthy))))	Medicine.kif 355-373	If an agent breathes at a rate of an integer breaths per a time interval and the time interval is an instance of minute and there doesn't exist the integer such that the integer is an instance of recreation or exercise and the agent is an agent of the integer and the time interval takes place during the time of existence of the integer and human adult is an attribute of the agent holds during the time interval and the integer is greater than 16 or the integer is less than 12, then healthy is not an attribute of the agent holds during the time interval
(=> (and (instance ?T Bradycardia) (experiencer ?T ?P) (instance ?H Heart) (part ?H ?P) (instance ?I Minute) (heartRate ?H ?I ?N)) (greaterThan 50 ?N))	Medicine.kif 2848-2856	If a process is an instance of Bradycardia and an agent experiences the process and a heart is an instance of heart and the heart is a part of the agent and a time interval is an instance of minute and the heart beats at a rate of an integer beats per the time interval, then 50 is greater than the integer
(=> (and (instance ?T Tachycardia) (experiencer ?T ?P) (instance ?H Heart) (part ?H ?P) (instance ?I Minute) (heartRate ?H ?I ?N)) (greaterThan ?N 100))	Medicine.kif 2820-2828	If a process is an instance of tachyarrhythmia and an agent experiences the process and a heart is an instance of heart and the heart is a part of the agent and a time interval is an instance of minute and the heart beats at a rate of an integer beats per the time interval, then the integer is greater than 100
(=> (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)
(=> (instance ?MINUTE Minute) (equal (CardinalityFn (TemporalCompositionFn ?MINUTE Second)) 60))	Merge.kif 9617-9619	If a time interval is an instance of minute, then equal the number of instances in decomposition of the time interval into seconds and 60

consequent

(=> (and (restingBreathingRate ?H ?R) (instance ?L Lung) (part ?L ?H)) (exists (?T) (and (not (exists (?REC) (and (instance ?REC RecreationOrExercise) (agent ?REC ?H) (during ?T (WhenFn ?REC))))) (instance ?T Minute) (breathingRate ?H ?T ?R))))	Medicine.kif 330-345	If the resting breathing rate of a mammal is an integer and an object is an instance of lung and the object is a part of the mammal, then there exists a time interval such that there doesn't exist the integerEC such that the integerEC is an instance of recreation or exercise and the mammal is an agent of the integerEC and the time interval takes place during the time of existence of the integerEC and the time interval is an instance of minute and the mammal breathes at a rate of the integer breaths per the time interval
(=> (and (restingHeartRate ?H ?R) (instance ?HEART Heart) (part ?HEART ?H)) (exists (?T) (and (not (exists (?REC) (and (instance ?REC RecreationOrExercise) (agent ?REC ?H) (during ?T (WhenFn ?REC))))) (instance ?T Minute) (heartRate ?H ?T ?R))))	Medicine.kif 122-136	If the resting heart rate of a mammal is an integer and the mammalEART is an instance of heart and the mammalEART is a part of the mammal, then there exists a time interval such that there doesn't exist the integerEC such that the integerEC is an instance of recreation or exercise and the mammal is an agent of the integerEC and the time interval takes place during the time of existence of the integerEC and the time interval is an instance of minute and the mammal beats at a rate of the integer beats per the time interval
(=> (instance ?HOUR Hour) (equal (CardinalityFn (TemporalCompositionFn ?HOUR Minute)) 60))	Merge.kif 9613-9615	If a time interval is an instance of hour, then equal the number of instances in decomposition of the time interval into minutes and 60

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