TreeView Knowledge Base Browser - MinuteDuration

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - MinuteDuration

MinuteDuration(分钟)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2581-2581
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7101-7101
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1288-1288
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7100-7100	分钟是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7099-7099	分钟是 UnitOfDuration 的 instance

appearance as argument number 2

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.	domainEnglishFormat.kif 37949-37949
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37948-37948
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37947-37947

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 466-482	如果过程是 MeasuringBreathing 的 instance 和施事体是那个过程的 agent 和客体是肺的 instance 和那个客体是另一个客体的 part 和时距是时距的 instance 和那个时距在那个过程出现的 time 时段内发生和那个时距的 duration 是分钟和那个另外客体是那个过程的 patient，然后有存在实体这样那个施事体 knows breathingRate 那个客体, 那个时距 and 那个实体在紧接那个过程出现的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5997-6017	如果时距是 TimePeriod 的 instance 和那个时距的 duration 是实数分钟和那个实数是 greaterThan 5.0 和实体是人类的 instance 和不存在过程这样那个过程是呼吸的 instance 和那个过程出现的 time 在那个时距时段内发生和那个实体是那个过程的 patient，然后有存在另一个实体这样那个另外实体是死亡的 instance 和那个实体经历了那个另外实体和那个时距接着那个另外实体出现的 time 的声明 has 容易的语气

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2223-2240	如果函数量 equal 地理区域地区在时距时段的 Mean10MinutesWindSpeedFn，然后有存在另一个实体，第三实体,，，第四实体， and 和第五实体这样那个另外实体是地面风速量度串列的 instance 和那个另外实体在那个地理区域（发生） eventLocated 和（量度） Measuring 串列那个另外实体在 5 第二期的时间间隔发生和（量度）Measuring 串列 list 那个另外实体持续了10 分钟那么久的时间和 120 equal 那个另外实体的长度和那个第三实体是那个另外实体的（结果） result 和那个第四实体 equal PhysicalQuantityToNumberFn 得出一个串列的数字值是那个第三实体和那个函数量 equal AverageFn 那个第四实体那个第五实体在那个时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2328-2345	如果函数量 equal 地理区域地区在时距时段的 Mean1MinuteWindSpeedFn，然后有存在另一个实体，第三实体,，，第四实体， and 和第五实体这样那个另外实体是地面风速量度串列的 instance 和那个另外实体在那个地理区域（发生） eventLocated 和（量度） Measuring 串列那个另外实体在 5 第二期的时间间隔发生和（量度）Measuring 串列 list 那个另外实体持续了1 分钟那么久的时间和 12 equal 那个另外实体的长度和那个第三实体是那个另外实体的（结果） result 和那个第四实体 equal PhysicalQuantityToNumberFn 得出一个串列的数字值是那个第三实体和那个函数量 equal AverageFn 那个第四实体那个第五实体在那个时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2293-2310	如果函数量 equal 地理区域地区在时距时段的 Mean2MinutesWindSpeedFn，然后有存在另一个实体，第三实体,，，第四实体， and 和第五实体这样那个另外实体是地面风速量度串列的 instance 和那个另外实体在那个地理区域（发生） eventLocated 和（量度） Measuring 串列那个另外实体在 5 第二期的时间间隔发生和（量度）Measuring 串列 list 那个另外实体持续了2 分钟那么久的时间和 24 equal 那个另外实体的长度和那个第三实体是那个另外实体的（结果） result 和那个第四实体 equal PhysicalQuantityToNumberFn 得出一个串列的数字值是那个第三实体和那个函数量 equal AverageFn 那个第四实体那个第五实体在那个时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2258-2275	如果函数量 equal 地理区域地区在时距时段的 Mean3MinutesWindSpeedFn，然后有存在另一个实体，第三实体,，，第四实体， and 和第五实体这样那个另外实体是地面风速量度串列的 instance 和那个另外实体在那个地理区域（发生） eventLocated 和（量度） Measuring 串列那个另外实体在 5 第二期的时间间隔发生和（量度）Measuring 串列 list 那个另外实体持续了2 分钟那么久的时间和 36 equal 那个另外实体的长度和那个第三实体是那个另外实体的（结果） result 和那个第四实体 equal PhysicalQuantityToNumberFn 得出一个串列的数字值是那个第三实体和那个函数量 equal AverageFn 那个第四实体那个第五实体在那个时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2019-2023	如果串列 equal 在时距时间结束以前，发生在区域地理区域的 Mean3SecondWindSpeedListFn (平均3秒风速表列)，然后那个时距的 duration 是 2 分钟
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2346-2380	如果物理是 AutomobileTransmission 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体,，，第四实体,，，第五实体,，，第六实体,，，第七实体,，，第八实体,，，第九实体， and 和第十实体这样那个实体是 Crankshaft 的 instance 和那个另外实体是 Driveshaft 的 instance 和那个第三实体是汽车的 instance 和那个另外实体是那个第三实体的 part 和那个物理是那个第三实体的 part 和那个实体是那个第三实体的 part 和那个实体是和那个物理 connected 和那个另外实体是和那个物理 connected 和那个第四实体是旋转的 instance 和那个第六实体是旋转的 instance 和那个第七实体是旋转的 instance 和那个第八实体是旋转的 instance 和那个实体是那个第四实体的 patient 和那个实体是那个第六实体的 patient 和那个另外实体是那个第七实体的 patient 和那个另外实体是那个第八实体的 patient 和那个第四实体 causes 那个第七实体和那个第六实体 causes 那个第八实体和那个第四实体不 equal 那个第六实体和那个实体的 measure 是 RotationFn 那个第五实体 and 分钟在那个第四实体 holdsDuring 和那个实体的 measure 是 RotationFn 那个第五实体 and 分钟在那个第六实体 holdsDuring 和那个另外实体的 measure 是 RotationFn 那个第九实体 and 分钟在那个第七实体 holdsDuring 和那个另外实体的 measure 是 RotationFn 那个第十实体 and 分钟在那个第八实体 holdsDuring 和那个第九实体不 equal 那个第十实体
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6162-6168	如果物理是 IVBolusTherapy 的 instance，然后那个物理出现的 time 的 duration 是实数分钟和那个实数是 lessThan 5.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9356-9358	如果时距是分钟的 instance，然后那个时距的 duration 是 1 分钟

statement

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7095-7097	实数小时 equal 那个实数和 60 分钟
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7103-7105	实数分钟 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