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 9390-9390
(documentation Minute JapaneseLanguage "すべての丸々 Minute の　Class。")	japanese_format.kif 1558-1558
(relatedInternalConcept Minute MinuteDuration)	Merge.kif 9388-9388	Minute is internally related to minute duration
(relatedInternalConcept Minute MinuteFn)	Merge.kif 9387-9387	Minute is internally related to minute
(subclass Minute TimeInterval)	Merge.kif 9386-9386	Minute is a subclass of time interval

appearance as argument number 2

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

appearance as argument number 3

(domainSubclass SecondFn 2 Minute)

Merge.kif 8703-8703

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 367-385	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 2847-2855	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 2819-2827	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 9392-9394	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 9517-9519	If a time interval is an instance of minute, then the number of instances in decomposition of the time interval into seconds is equal to 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 342-357	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 9513-9515	If a time interval is an instance of hour, then the number of instances in decomposition of the time interval into minutes is equal to 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