governorSpeed - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - governorSpeed

governorSpeed

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2874-2877
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2880-2880	governorSpeed 的 1 数量是 SpeedGovernor 的 instance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2881-2881	governorSpeed 的 2 数量是函数量的 instance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2882-2882	governorSpeed 是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2878-2878
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65837-65837

antecedent

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 那个实数

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