TreeView Knowledge Base Browser

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1252-1267	如果过程是 Braking 的 instance 和实体是那个过程的 patient，然后实数英里每小時 equal AccelerationFn 另一个实体, 第三实体, 那个实体 and 第四实体在紧接那个过程出现的 time before holdsDuring 和另一个实数英里每小時 equal AccelerationFn 那个另外实体, 那个第三实体, 那个实体 and 那个第四实体在紧接那个过程出现的 time after holdsDuring 和那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2930-2948	如果工程组件是 EngineGovernor 的 instance 和另一个工程组件是发动机的 instance 和那个工程组件是和那个另外工程组件 connected 和 governorSpeed 那个另外工程组件 and 实数英里每小時，然后那个工程组件的目的是不存在实体，另一个实体， and 和第三实体这样那个另外实体是设备的 instance 和那个另外实体是那个另外工程组件的 part 和那个实体是旋转的 instance 和那个另外实体的 measure 是那个第三实体英里每小時和那个第三实体是 greaterThan 那个实数在那个实体出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2957-2973	如果工程组件是 EngineGovernor 的 instance 和另一个工程组件是车辆的 instance 和那个工程组件是和那个另外工程组件 connected 和 governorSpeed SpeedGovernor and 实数英里每小時，然后那个工程组件的目的是不存在实体和另一个实体这样那个实体是易位的 instance 和那个另外工程组件的 measure 是那个另外实体英里每小時和那个另外实体是 greaterThan 那个实数在那个实体出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2909-2921	如果工程组件是 SpeedGovernor 的 instance 和 governorSpeed 另一个工程组件 and 实数英里每小時和那个工程组件是和那个另外工程组件 connected，然后那个工程组件的目的是不存在那个实数P2 这样那个另外工程组件的 measure 是那个实数P2 英里每小時和那个实数P2 是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2443-2457	如果过程是飓风的 instance 和实体是萨菲尔辛普森飓风5 的 instance 和那个过程是 located 在客体和有认知的主事 believes 那个过程有那个实体的 attribute，然后有存在实数这样那个实数是 greaterThan 157.0 和那个有认知的主事 believes 那个实数英里每小時 equal 那个客体地区在那个过程出现的 time时段的 Mean1MinuteWindSpeedFn
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2191-2205	如果过程是龙卷风的 instance 和实体是改良藤田5 的 instance 和那个过程是 located 在客体和有认知的主事 believes 那个过程有那个实体的 attribute，然后有存在实数这样那个实数是 greaterThan 200.0 和那个有认知的主事 believes 那个实数英里每小時 equal 在那个过程出现的 time 时间结束以前，发生在区域那个客体的 ThreeSecondGustSpeedFn (3秒阵风风速)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2096-2114	如果过程是龙卷风的 instance 和时速级数属性是改良藤田级数的 instance 和那个过程是 located 在客体和有认知的主事 believes 那个过程有那个时速级数属性的 attribute 和那个时速级数属性的最低和最高是实数英里每小時和另一个实数英里每小時，然后有存在第三实数这样那个第三实数是 greaterThanOrEqualTo 那个实数和那个第三实数是 lessThanOrEqualTo 那个另外实数和那个有认知的主事 believes 那个第三实数英里每小時 equal 在那个过程出现的 time 时间结束以前，发生在区域那个客体的 ThreeSecondGustSpeedFn (3秒阵风风速)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 484-496	如果过程是风的 instance 和实体是浦氏12风级的 instance 和那个过程是 located 在客体和有认知的主事 believes 那个过程有那个实体的 attribute，然后有存在实数这样那个实数是 greaterThan 73.0 和那个有认知的主事 believes 那个实数英里每小時是那个客体的 surface 风速
No TPTP formula. May not be expressible in strict first order.	Weather.kif 740-751	如果实体是飓风的 instance，然后有存在过程，地理区域， and 和实数这样那个过程是热带气旋的 instance 和那个地理区域是地理区域的 instance 和那个过程是 located 在那个地理区域和那个实数英里每小時 equal 那个地理区域地区在那个过程出现的 time时段的 Mean1MinuteWindSpeedFn 和那个实数是 greaterThanOrEqualTo 74.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 774-785	如果实体是台风的 instance，然后有存在那个实体C，地理区域， and 和实数这样那个实体C 是热带气旋的 instance 和那个地理区域是地理区域的 instance 和那个实体C 是 located 在那个地理区域和那个实数英里每小時 equal 那个地理区域地区在那个实体C 出现的 time时段的 Mean10MinutesWindSpeedFn 和那个实数是 greaterThanOrEqualTo 64.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 681-691	如果过程是热带气旋的 instance，然后有存在地理区域和实数这样那个地理区域是地理区域的 instance 和那个过程是 located 在那个地理区域和那个实数英里每小時 equal 那个地理区域地区在那个过程出现的 time时段的 Mean1MinuteWindSpeedFn 和那个实数是 greaterThanOrEqualTo 44.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 660-670	如果过程是热带低气压的 instance，然后有存在地理区域和实数这样那个地理区域是地理区域的 instance 和那个过程是 located 在那个地理区域和那个实数英里每小時 equal 那个地理区域地区在那个过程出现的 time时段的 Mean1MinuteWindSpeedFn 和那个实数是 lessThanOrEqualTo 38.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 716-727	如果过程是热带风暴的 instance，然后有存在地理区域和实数这样那个地理区域是地理区域的 instance 和那个过程是 located 在那个地理区域和那个实数英里每小時 equal 那个地理区域地区在那个过程出现的 time时段的 Mean1MinuteWindSpeedFn 和那个实数是 greaterThanOrEqualTo 39.0 和那个实数是 lessThanOrEqualTo 74.0

statement

No TPTP formula. May not be expressible in strict first order.	Weather.kif 375-375	浦氏0风级的最低和最高是 0.0 英里每小時和 1.0 英里每小時
No TPTP formula. May not be expressible in strict first order.	Weather.kif 384-384	浦氏1风级的最低和最高是 1.0 英里每小時和 3.0 英里每小時
No TPTP formula. May not be expressible in strict first order.	Weather.kif 466-466	浦氏10风级的最低和最高是 55.0 英里每小時和 63.0 英里每小時
No TPTP formula. May not be expressible in strict first order.	Weather.kif 475-475	浦氏11风级的最低和最高是 64.0 英里每小時和 72.0 英里每小時
No TPTP formula. May not be expressible in strict first order.	Weather.kif 393-393	浦氏2风级的最低和最高是 4.0 英里每小時和 7.0 英里每小時
No TPTP formula. May not be expressible in strict first order.	Weather.kif 403-403	浦氏3风级的最低和最高是 8.0 英里每小時和 12.0 英里每小時
No TPTP formula. May not be expressible in strict first order.	Weather.kif 412-412	浦氏4风级的最低和最高是 13.0 英里每小時和 18.0 英里每小時
No TPTP formula. May not be expressible in strict first order.	Weather.kif 421-421	浦氏5风级的最低和最高是 19.0 英里每小時和 24.0 英里每小時
No TPTP formula. May not be expressible in strict first order.	Weather.kif 430-430	浦氏6风级的最低和最高是 25.0 英里每小時和 31.0 英里每小時
No TPTP formula. May not be expressible in strict first order.	Weather.kif 439-439	浦氏7风级的最低和最高是 32.0 英里每小時和 38.0 英里每小時
No TPTP formula. May not be expressible in strict first order.	Weather.kif 448-448	浦氏8风级的最低和最高是 39.0 英里每小時和 46.0 英里每小時
No TPTP formula. May not be expressible in strict first order.	Weather.kif 457-457	浦氏9风级的最低和最高是 47.0 英里每小時和 54.0 英里每小時
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2151-2151	改良藤田0 的最低和最高是 65.0 英里每小時和 85.0 英里每小時
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2159-2159	改良藤田1 的最低和最高是 86.0 英里每小時和 110.0 英里每小時
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2167-2167	改良藤田2 的最低和最高是 111.0 英里每小時和 135.0 英里每小時
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2175-2175	改良藤田3 的最低和最高是 136.0 英里每小時和 165.0 英里每小時
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2183-2183	改良藤田4 的最低和最高是 166.0 英里每小時和 200.0 英里每小時
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2396-2396	萨菲尔辛普森飓风1 的最低和最高是 74.0 英里每小時和 95.0 英里每小時
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2408-2408	萨菲尔辛普森飓风2 的最低和最高是 96.0 英里每小時和 110.0 英里每小時
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2420-2420	萨菲尔辛普森飓风3 的最低和最高是 111.0 英里每小時和 129.0 英里每小時
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2432-2432	萨菲尔辛普森飓风4 的最低和最高是 130.0 英里每小時和 156.0 英里每小時

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

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1696-1697
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1694-1695
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1700-1700	英里每小時是 CompositeUnitOfMeasure 的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1699-1699	英里每小時是函数量的 instance

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1698-1698	英里每小時的名是 "mph"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10430-10430
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10429-10429

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1702-1708	函数量 equal 实数英里每小時若且唯若那个函数量 equal 那个实数英里除以 1 小时
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2585-2603	如果 engineIdleSpeed 内燃机 and RotationFn 实数英里每小時 and 持续时间和客体是汽车的 instance 和过程是 GasPedal 的 instance 和那个过程是 Pushing 的 instance 和那个过程在另一个客体结束和那个内燃机是那个客体的 part 和那个另外客体是那个客体的 part 和第三客体是 Crankshaft 的 instance 和那个第三客体是那个内燃机的 part 和那个第三客体的 measure 是 RotationFn 实体英里每小時 and 那个持续时间在那个过程出现的 time holdsDuring，然后那个实体是 greaterThan 那个实数的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2884-2902	如果 governorSpeed SpeedGovernor and 函数量和实数英里每小時 equal 长度测量除以持续时间和另一个实数英里每小時 equal 另一个长度测量除以另一个持续时间和那个实数是 greaterThan 那个另外实数和那个实数PROB equal 那个 SpeedGovernor 的 measure 是那个实数英里每小時的机率和那个另外实数PROB equal 那个 SpeedGovernor 的 measure 是那个另外实数英里每小時的机率，然后那个另外实数PROB 是 greaterThan 那个实数PROB
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2930-2948	如果工程组件是 EngineGovernor 的 instance 和另一个工程组件是发动机的 instance 和那个工程组件是和那个另外工程组件 connected 和 governorSpeed 那个另外工程组件 and 实数英里每小時，然后那个工程组件的目的是不存在实体，另一个实体， and 和第三实体这样那个另外实体是设备的 instance 和那个另外实体是那个另外工程组件的 part 和那个实体是旋转的 instance 和那个另外实体的 measure 是那个第三实体英里每小時和那个第三实体是 greaterThan 那个实数在那个实体出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2957-2973	如果工程组件是 EngineGovernor 的 instance 和另一个工程组件是车辆的 instance 和那个工程组件是和那个另外工程组件 connected 和 governorSpeed SpeedGovernor and 实数英里每小時，然后那个工程组件的目的是不存在实体和另一个实体这样那个实体是易位的 instance 和那个另外工程组件的 measure 是那个另外实体英里每小時和那个另外实体是 greaterThan 那个实数在那个实体出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2909-2921	如果工程组件是 SpeedGovernor 的 instance 和 governorSpeed 另一个工程组件 and 实数英里每小時和那个工程组件是和那个另外工程组件 connected，然后那个工程组件的目的是不存在那个实数P2 这样那个另外工程组件的 measure 是那个实数P2 英里每小時和那个实数P2 是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2096-2114	如果过程是龙卷风的 instance 和时速级数属性是改良藤田级数的 instance 和那个过程是 located 在客体和有认知的主事 believes 那个过程有那个时速级数属性的 attribute 和那个时速级数属性的最低和最高是实数英里每小時和另一个实数英里每小時，然后有存在第三实数这样那个第三实数是 greaterThanOrEqualTo 那个实数和那个第三实数是 lessThanOrEqualTo 那个另外实数和那个有认知的主事 believes 那个第三实数英里每小時 equal 在那个过程出现的 time 时间结束以前，发生在区域那个客体的 ThreeSecondGustSpeedFn (3秒阵风风速)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11264-11272	如果物理是风的 instance 和那个物理是 located 在客体和时距 equal 那个物理出现的 time 和实数英里每小時是那个客体的 surface 风速在那个时距 holdsDuring，然后那个实数是 greaterThan 20.0

KB Term:			Term intersection

English Word: