TreeView Knowledge Base Browser - KnotUnitOfSpeed

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

KnotUnitOfSpeed

Sigma KEE - KnotUnitOfSpeed

KnotUnitOfSpeed(结速度单位)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3925-3927
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3924-3924	结速度单位是 CompositeUnitOfMeasure 的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3922-3922	结速度单位是 "kt" 的简称
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3921-3921	结速度单位的名是 "knot"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32719-32719
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32718-32718
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32717-32717

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 159-165	如果物理是大气气流的 instance 和客体是客体的 instance 和那个物理是 partlyLocated 在那个客体和那个物理的 measure 是实数结速度单位，然后那个实数结速度单位是那个客体的 surface 风速
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4905-4909	如果物质的 flow 的 measure 是实数结速度单位和另一个物质是那个物质的 piece，然后那个另外物质是那个实数结速度单位的 piece
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3939-3945	如果函数量 equal 实数结速度单位，然后那个函数量 equal 那个实数海里除以 1.0 小时

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1275-1296	如果过程是尘暴的 instance 和另一个过程是风的 instance 和那个过程%n是那个另外过程的subProcess，然后有存在转移，客体,，，另一个客体,，，第三客体,，，第四客体， and 和实数这样那个第三客体是土地面积的 instance 和那个另外过程是 located 在那个第三客体和那个实数结速度单位是那个第三客体的 surface 风速和那个实数是 greaterThan 30.0 和那个转移是易位的 instance 和那个转移%n是那个过程的subProcess 和 objectTransferred 那个转移 and 那个客体和 objectTransferred 那个转移 and 那个另外客体和那个客体是悬浮颗粒的 instance 和那个另外客体是砂的 instance 和那个第四客体是土地面积的 instance 和那个转移在那个第四客体结束和那个第三客体和那个第四客体不重叠
No TPTP formula. May not be expressible in strict first order.	Weather.kif 159-165	如果物理是大气气流的 instance 和客体是客体的 instance 和那个物理是 partlyLocated 在那个客体和那个物理的 measure 是实数结速度单位，然后那个实数结速度单位是那个客体的 surface 风速
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4905-4909	如果物质的 flow 的 measure 是实数结速度单位和另一个物质是那个物质的 piece，然后那个另外物质是那个实数结速度单位的 piece
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3929-3937	如果函数量 equal 实数海里除以另一个实数小时，然后那个函数量 equal 那个实数和那个另外实数结速度单位
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2627-2640	如果物理是暴风雪的 instance，然后有存在实体，另一个实体， and 和第三实体这样那个实体是地理区域的 instance 和那个物理是 located 在那个实体和那个另外实体结速度单位是那个实体的 surface 风速和那个另外实体是 greaterThan 35.0 和那个物理出现的 time 的 duration 是那个第三实体小时和那个第三实体是 greaterThan 3 在那个物理出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2905-2914	如果物理是风暴的 instance，然后有存在实体和另一个实体这样那个实体是地理区域的 instance 和那个另外实体结速度单位是那个实体的 surface 风速和那个另外实体是 greaterThan 30.0 在那个物理出现的 time holdsDuring

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