Minute - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2817-2817
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9354-9354
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1558-1558
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9352-9352	Minute is internally related to minute duration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9351-9351	Minute is internally related to minute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9350-9350	Minute is a subclass of time interval

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8641-8641	The values returned by minute are subclasses of minute
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1299-1299
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1815-1815
No TPTP formula. May not be expressible in strict first order.	french_format.kif 977-977
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 512-512
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 516-516
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2661-2661
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 929-929
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 518-518
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 552-552
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 998-998
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 517-517

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Merge.kif 8667-8667

The number 2 argument of second is a subclass of minute

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9356-9358	If a time interval is an instance of minute, then duration of the time interval is 1 minute duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9481-9483	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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9477-9479	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

KB Term:			Term intersection

English Word: