TreeView Knowledge Base Browser - RotationFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - RotationFn

RotationFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2101-2102
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2103-2103	Le nombre 1 argument de RotationFn est une instance de Rotating
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2104-2104	Le nombre 2 argument de RotationFn est une instance de dur�e temporel
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2099-2099	RotationFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2105-2105	Le domaine de RotationFn est une instance de function de quantit�

appearance as argument number 2

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

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2585-2603	engineIdleSpeed InternalCombustionEngine and RotationFn nombre r�el MilesPerHour(s) and dur�e temporel objet est une instance de Automobile processus est une instance de GasPedal processus est une instance de Pushing processus aboutit � objet InternalCombustionEngine est une partie de objet objet est une partie de objet objet est une instance de Crankshaft objet est une partie de InternalCombustionEngine la mesure de objet est RotationFn entit� MilesPerHour(s) and dur�e temporel pendant temps d'existence de processus l'argument entit� est plus grand que nombre r�el a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2114-2133	Entit� est une instance de Shaft entit� est une instance de Shaft entit� est entit� composant d'un appareil est une instance de Rotating entit� est un patient de composant d'un appareil composant d'un appareil est une instance de Rotating entit� est un patient de composant d'un appareil composant d'un appareil cause composant d'un appareil composant d'un appareil est une instance de CVJoint composant d'un appareil est connect� � composant d'un appareil composant d'un appareil est connect� � composant d'un appareil entit� est RotationFn entit� and entit� pendant temps d'existence de composant d'un appareil entit� est RotationFn entit� and entit� pendant temps d'existence de composant d'un appareil

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2114-2133	Entit� est une instance de Shaft entit� est une instance de Shaft entit� est entit� composant d'un appareil est une instance de Rotating entit� est un patient de composant d'un appareil composant d'un appareil est une instance de Rotating entit� est un patient de composant d'un appareil composant d'un appareil cause composant d'un appareil composant d'un appareil est une instance de CVJoint composant d'un appareil est connect� � composant d'un appareil composant d'un appareil est connect� � composant d'un appareil entit� est RotationFn entit� and entit� pendant temps d'existence de composant d'un appareil entit� est RotationFn entit� and entit� pendant temps d'existence de composant d'un appareil
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2346-2380	Physique est une instance de AutomobileTransmission physique a pour but entit� entit�, entit�, entit�, entit�, entit�, entit�, entit�, entit� and entit� entit� est une instance de Crankshaft entit� est une instance de Driveshaft entit� est une instance de Automobile entit� est une partie de entit� physique est une partie de entit� entit� est une partie de entit� entit� est connect� � physique entit� est connect� � physique entit� est une instance de Rotating entit� est une instance de Rotating entit� est une instance de Rotating entit� est une instance de Rotating entit� est un patient de entit� entit� est un patient de entit� entit� est un patient de entit� entit� est un patient de entit� entit� cause entit� entit� cause entit� entit� est entit� la mesure de entit� est RotationFn entit� and MinuteDuration pendant entit� la mesure de entit� est RotationFn entit� and MinuteDuration pendant entit� la mesure de entit� est RotationFn entit� and MinuteDuration pendant entit� la mesure de entit� est RotationFn entit� and MinuteDuration pendant entit� entit� est entit�

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