TreeView Knowledge Base Browser - Minute

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Minute

Minute(分钟)

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	分钟和分钟是内部相关
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9351-9351	分钟和分函数是内部相关
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9350-9350	分钟是时距的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8641-8641	分函数的所得值是分钟的 subclass
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

秒函数的 2 数量是分钟的 subclass

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 367-385	如果 breathingRate 施事体, 时距 and 整数和那个时距是分钟的 instance 和不存在那个整数这样那个整数是娱乐或锻炼的 instance 和那个施事体是那个整数的 agent 和那个时距在那个整数出现的 time 时段内发生和人类成人是那个施事体的 attribute 在那个时距 holdsDuring 和那个整数是 greaterThan 16 或那个整数是 lessThan 12，然后 Healthy 不是那个施事体的 attribute 在那个时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2847-2855	如果过程是 Bradycardia 的 instance 和施事体经历了那个过程和心是心的 instance 和那个心是那个施事体的 part 和时距是分钟的 instance 和 heartRate 那个心, 那个时距 and 整数，然后 50 是 greaterThan 那个整数
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2819-2827	如果过程是 Tachycardia 的 instance 和施事体经历了那个过程和心是心的 instance 和那个心是那个施事体的 part 和时距是分钟的 instance 和 heartRate 那个心, 那个时距 and 整数，然后那个整数是 greaterThan 100
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9356-9358	如果时距是分钟的 instance，然后那个时距的 duration 是 1 分钟
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9481-9483	如果时距是分钟的 instance，然后分拆那个时距为的秒钟 instance 的数量 equal 60

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 342-357	如果 restingBreathingRate 哺乳动物 and 整数和客体是肺的 instance 和那个客体是那个哺乳动物的 part，然后有存在时距这样不存在那个整数EC 这样那个整数EC 是娱乐或锻炼的 instance 和那个哺乳动物是那个整数EC 的 agent 和那个时距在那个整数EC 出现的 time 时段内发生和那个时距是分钟的 instance 和 breathingRate 那个哺乳动物, 那个时距 and 那个整数
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 122-136	如果 restingHeartRate 哺乳动物 and 整数和那个哺乳动物EART 是心的 instance 和那个哺乳动物EART 是那个哺乳动物的 part，然后有存在时距这样不存在那个整数EC 这样那个整数EC 是娱乐或锻炼的 instance 和那个哺乳动物是那个整数EC 的 agent 和那个时距在那个整数EC 出现的 time 时段内发生和那个时距是分钟的 instance 和 heartRate 那个哺乳动物, 那个时距 and 那个整数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9477-9479	如果时距是小时的 instance，然后分拆那个时距为的分钟 instance 的数量 equal 60

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