Rotating - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17441-17442
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6831-6831
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7769-7769
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7770-7770
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7771-7771
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17440-17440	Rotating est une sous-classe de d�palcement

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17481-17481	CentrifugalMotion est une sous-classe de Rotating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17497-17497	CentripetalMotion est une sous-classe de Rotating
No TPTP formula. May not be expressible in strict first order.	Food.kif 3060-3060	ChurningButter est une sous-classe de Rotating
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1665-1665	ScrollWheelRotating est une sous-classe de Rotating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17457-17457	Tremor est une sous-classe de Rotating
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50486-50486
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50485-50485
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50484-50484

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Cars.kif 2109-2109

Le nombre 1 argument de RotationFn est une instance de Rotating

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 617-627	Objet est une instance de BrakePad entit� est une instance de BrakeRotor processus est une instance de Rotating entit� est un patient de processus processus est une instance de Friction objet est une resource pour processus entit� est un patient de processus objet est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Cars.kif 639-649	Objet est une instance de BrakeShoe entit� est une instance de BrakeDrum processus est une instance de Rotating entit� est un patient de processus processus est une instance de Friction objet est une resource pour processus entit� est un patient de processus objet est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4935-4950	Entit� est une instance de Ratchet entit� est une instance de AttachingDevice entit�O1 est une instance de Rotating attribut est un attribut de entit�O1 entit�O2 est une instance de Rotating attribut est un attribut de entit�O2 attribut est une instance de RotationalAttribute attribut est une instance de RotationalAttribute entit�O1 est entit�O2 entit�O1 cause entit�O2 Ratchet est un patient de entit�O1 entit� est un patient de entit�O2 attribut est attribut
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17444-17455	Processus est une instance de Rotating entit� est un patient de processus entit� entit� est situ� � entit� pendant le d�but de temps d'existence de processus entit� est situ� � entit� pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2120-2139	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.	Weather.kif 1647-1668	Processus est une instance de Tornado processus est une instance de Rotating objet est une instance de Air processusRAN est une instance de Translocation processus est un sous-processus de processus processusRAN est un sous-processus de processus objet est un patient de processusRAN les entit�es dans le processus processusRAN bougent Horizontal objet objet en une partie, processusOP, objet en une partie, objet en une partie and objet en une partie objet est une instance de secteur g�ographique eventLocated processus and objet objet en une partie est une partie de objet ConeSegment est un attribut de objet en une partie le dessus de objet en une partie est processusOP l' arri�re de objet en une partie est objet en une partie objet en une partie est une instance de Cloud l' arri�re de objet en une partie est objet en une partie processusOP rencontre objet en une partie objet en une partie rencontre objet

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 349-361	Objet est une instance de Crankshaft objet est une instance de IntermittentCombustionEngine objet est une partie de objet objet a pour but entit� entit� entit� est une instance de Explosion entit� est une instance de Rotating objet est un patient de entit� eventLocated entit� and objet entit� cause entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2936-2954	Composant d'un appareil est une instance de EngineGovernor composant d'un appareil est une instance de Engine composant d'un appareil est connect� � composant d'un appareil governorSpeed composant d'un appareil and nombre r�el MilesPerHour(s) composant d'un appareil a pour but entit� entit� and entit� entit� est une instance de appareil entit� est une partie de composant d'un appareil entit� est une instance de Rotating la mesure de entit� est entit� MilesPerHour(s) entit� est plus grand que nombre r�el pendant temps d'existence de entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2736-2750	Objet est une instance de FanBelt objet est une instance de EngineFan objet est une instance de Automobile objet est une partie de objet objet est une partie de objet processus est une instance de d�palcement objet est un patient de processus objet a pour but processus2 processus2 est une instance de Rotating processus cause processus2 objet est un patient de processus2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4309-4322	Objet est une instance de Reel processus est une instance de garder objet est une instance de objet corpusculaire LongAndThin est un attribut de objet Pliable est un attribut de objet objet est un instrument pour processus objet est un patient de processus processus processus est une instance de Rotating objet est un patient de processus processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6000-6011	AutonomousAgent est une instance de Lathe entit� est une instance de objet AutonomousAgent est un instrument pour processus entit� est un patient de processus processus processus est une instance de Rotating processus est un sous-processus de processus entit� est un patient de processus processus est un agent de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1292-1307	Processus est une instance de transporter objet est une instance de Wheel objet est une instance de Automobile objet est une partie de objet objet est un instrument pour processus objetB est une instance de AntilockBrake processus est une instance de Decelerating objetB est un instrument pour processus objetB est une partie de objet objetB a pour but entit� entit� est une instance de Rotating entit� prend place pendant processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17467-17479	axis AutonomousAgent and AutonomousAgent processus processus est une instance de Rotating AutonomousAgent est une partie de AutonomousAgent AutonomousAgent exp�rimente processus processus2 processus2 est une instance de Rotating processus2 est un sous-processus de processus AutonomousAgent exp�rimente processus2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2352-2386	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�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1645-1651	Physique est une instance de Cam physique a pour but entit� entit� est une instance de Rotating physique est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1658-1664	Physique est une instance de Camshaft physique a pour but entit� entit� est une instance de Rotating physique est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Food.kif 3065-3074	Physique est une instance de ChurningButter physique a pour but entit� entit� and entit� entit� est une instance de Milk entit� est une instance de Rotating entit� est un patient de entit� entit� est le resultat de entit� entit� est une instance de Butter
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17486-17495	Processus est une instance de CentrifugalMotion processus objet, AutonomousAgent and AutonomousAgent processus est une instance de Rotating axis objet and AutonomousAgent processus a pour origine objet AutonomousAgent exp�rimente processus AutonomousAgent exp�rimente processus processus cause processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17501-17510	Processus est une instance de CentripetalMotion processus objet, AutonomousAgent and AutonomousAgent processus est une instance de Rotating axis objet and AutonomousAgent processus aboutit � objet AutonomousAgent exp�rimente processus AutonomousAgent exp�rimente processus processus cause processus
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2280-2292	Physique est une instance de Distributor physique a pour but entit� entit�, entit�, entit� and entit� entit� est une instance de Engine entit� est une instance de SparkPlug entit� est une instance de Spark entit� est une partie de physique physique est une partie de entit� entit� est une partie de entit� entit� est une instance de Rotating entit� cause entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2331-2343	Physique est une instance de Driveshaft physique a pour but entit� entit�, entit� and entit� entit� est une instance de Automobile entit� est une instance de Wheel physique est une partie de entit� entit� est une partie de entit� entit� est une instance de Rotating physique est un patient de entit� entit� est un patient de entit� entit� cause entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4198-4206	Physique est une instance de Screwdriver physique a pour but entit� entit� entit� est une instance de Rotating physique est un instrument pour entit� entit� est un patient de entit� entit� est une instance de Screw
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2221-2236	Processus est une instance de EngineCranking objet objet, objet, processus, objet and processus objet est une instance de ElectricalMotor objet est une instance de InternalCombustionEngine objet est une instance de Shaft objet est une instance de Crankshaft objet est une partie de objet processus est un sous-processus de processus processus est une instance de Rotating objet est un patient de processus processus est une instance de Rotating objet est un patient de processus objet est une partie de objet processus cause processus
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2245-2253	Physique est une instance de Flywheel physique a pour but entit� entit� entit� est une instance de Rotating entit� est une instance de Rotating physique est un patient de entit� entit� cause entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4596-4612	Physique est une instance de FourWheelDriveVehicle physique a pour but entit� entit� est une partie de physique entit� entit�, entit� and entit� entit� est une instance de Engine entit� est une partie de physique entit� est une instance de Crankshaft entit� est une partie de entit� entit� est une instance de Rotating entit� est un patient de entit� entit� est une instance de Rotating entit� est un patient de entit� entit� cause entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15275-15283	Physique est une instance de Hinge physique a pour but entit� entit� physique relie entit� et entit� entit� est capable de faire Rotating dans le r�le patient entit� est capable de faire Rotating dans le r�le patient
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2299-2314	Physique est une instance de Pulley physique a pour but physique2 entit�, entit� and entit� physique2 est une instance de Pulley physique est physique2 entit� est une instance de Drivebelt entit� est une instance de Rotating entit� est une instance de Rotating physique est connect� � entit� physique2 est connect� � entit� physique est un patient de entit� physique2 est un patient de entit� entit� cause entit�
No TPTP formula. May not be expressible in strict first order.	engineering.kif 783-785	Objet est une instance de Rotor objet est capable de faire Rotating dans le r�le instrument
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4027-4036	Physique est une instance de Tachometer physique a pour but entit� entit� and entit� entit� est une instance de Rotating entit� est un patient de entit� entit� est une instance de mesurer physique est un instrument pour entit� entit� est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4619-4651	Physique est une instance de TwoWheelDriveVehicle physique a pour but entit� entit� entit� est une partie de physique entit� est une partie de physique entit� est entit� entit� entit�, entit�, entit� and entit� entit� est une instance de Engine entit� est une partie de physique entit� est une instance de Crankshaft entit� est une partie de entit� entit� est une instance de Rotating entit� est un patient de entit� entit� est une instance de Rotating entit� est un patient de entit� entit� cause entit� entit� est un patient de entit� entit� cause entit� entit� entit� entit� est entit� entit� est entit� entit� est une partie de physique entit� est une instance de Rotating entit� est un patient de entit� entit� cause entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4158-4166	Physique est une instance de Wrench physique a pour but entit� entit� entit� est une instance de Rotating entit� est une instance de AttachingDevice entit� est un patient de entit� physique est un instrument pour entit�

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: