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 2880-2883
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2886-2886	governorSpeed 的 1 数量是 SpeedGovernor 的 instance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2887-2887	governorSpeed 的 2 数量是函数量的 instance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2888-2888	governorSpeed 是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2884-2884
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 2890-2908	如果 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 2936-2954	如果工程组件是 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 2963-2979	如果工程组件是 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 2915-2927	如果工程组件是 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