TreeView Knowledge Base Browser - governorSpeed

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	The number 1 argument of governor speed is an instance of governor
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2881-2881	The number 2 argument of governor speed is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2882-2882	governor speed is an instance of binary predicate

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	If the maximum speed allowed by a governor is a function quantity and a real number miles per hour(s) is equal to a length measure per a time duration and another real number miles per hour(s) is equal to another length measure per another time duration and the real number is greater than the other real number and the real numberPROB is equal to the probability of the measure of the governor is the real number miles per hour(s) and the other real numberPROB is equal to the probability of the measure of the governor is the other real number miles per hour(s), then the other real numberPROB is greater than the real numberPROB
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2930-2948	If an engineering component is an instance of governor and another engineering component is an instance of engine and the engineering component is connected to the other engineering component and the maximum speed allowed by the other engineering component is a real number miles per hour(s), then the engineering component has the purpose there don't exist an entity, another entity and a third entity such that the other entity is an instance of device and the other entity is a part of the other engineering component and the entity is an instance of rotating and the measure of the other entity is the third entity miles per hour(s) and the third entity is greater than the real number holds during the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2957-2973	If an engineering component is an instance of governor and another engineering component is an instance of vehicle and the engineering component is connected to the other engineering component and the maximum speed allowed by a governor is a real number miles per hour(s), then the engineering component has the purpose there don't exist an entity and another entity such that the entity is an instance of translocation and the measure of the other engineering component is the other entity miles per hour(s) and the other entity is greater than the real number holds during the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2909-2921	If an engineering component is an instance of governor and the maximum speed allowed by another engineering component is a real number miles per hour(s) and the engineering component is connected to the other engineering component, then the engineering component has the purpose there doesn't exist the real numberP2 such that the measure of the other engineering component is the real numberP2 miles per hour(s) and the real numberP2 is greater than the real number

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