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 17469-17470
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 17468-17468	Rotating e' uma sub-classe de Movimento

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17509-17509	CentrifugalMotion e' uma sub-classe de Rotating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17525-17525	CentripetalMotion e' uma sub-classe de Rotating
No TPTP formula. May not be expressible in strict first order.	Food.kif 3060-3060	ChurningButter e' uma sub-classe de Rotating
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1665-1665	ScrollWheelRotating e' uma sub-classe de Rotating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17485-17485	Tremor e' uma sub-classe de Rotating
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50488-50488
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50487-50487
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50486-50486

appearance as argument number 3

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

Cars.kif 2086-2086

O argumento numero 1 de RotationFn e' uma instancia de Rotating

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 617-627	Objeto e' uma instancia de BrakePad Entidade e' uma instancia de BrakeRotor Processo e' uma instancia de Rotating Entidade e' um patient de Processo Processo e' uma instancia de Friction Objeto e' um recurso para Processo Entidade e' um patient de Processo Objeto e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 639-649	Objeto e' uma instancia de BrakeShoe Entidade e' uma instancia de BrakeDrum Processo e' uma instancia de Rotating Entidade e' um patient de Processo Processo e' uma instancia de Friction Objeto e' um recurso para Processo Entidade e' um patient de Processo Objeto e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4912-4927	Entidade e' uma instancia de Ratchet Entidade e' uma instancia de AttachingDevice EntidadeO1 e' uma instancia de Rotating Atributo e' um atributo de EntidadeO1 EntidadeO2 e' uma instancia de Rotating Atributo e' um atributo de EntidadeO2 Atributo e' uma instancia de RotationalAttribute Atributo e' uma instancia de RotationalAttribute EntidadeO1 e' igual a EntidadeO2 EntidadeO1 causa EntidadeO2 Ratchet e' um patient de EntidadeO1 Entidade e' um patient de EntidadeO2 Atributo e' igual a Atributo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17472-17483	Processo e' uma instancia de Rotating Entidade e' um patient de Processo Entidade Entidade e' situado em Entidade vale durante o comeco de tempo de existencia de Processo Entidade e' situado em Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2097-2116	Entidade e' uma instancia de Shaft Entidade e' uma instancia de Shaft Entidade e' igual a Entidade Componente de Engenharia e' uma instancia de Rotating Entidade e' um patient de Componente de Engenharia Componente de Engenharia e' uma instancia de Rotating Entidade e' um patient de Componente de Engenharia Componente de Engenharia causa Componente de Engenharia Componente de Engenharia e' uma instancia de CVJoint Componente de Engenharia e' conectado a Componente de Engenharia Componente de Engenharia e' conectado a Componente de Engenharia Entidade e' igual a RotationFn Entidade and Entidade vale durante tempo de existencia de Componente de Engenharia Entidade e' igual a RotationFn Entidade and Entidade vale durante tempo de existencia de Componente de Engenharia
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1634-1655	Processo e' uma instancia de Tornado Processo e' uma instancia de Rotating Objeto e' uma instancia de Air ProcessoRAN e' uma instancia de Translocation Processo e' um sub-processo de Processo ProcessoRAN e' um sub-processo de Processo Objeto e' um patient de ProcessoRAN as entidades no processo ProcessoRAN se movem Horizontal Objeto Objeto auto-conectado, ProcessoOP, Objeto auto-conectado, Objeto auto-conectado and Objeto auto-conectado Objeto e' uma instancia de Area Geografica eventLocated Processo and Objeto Objeto auto-conectado e' uma &parte de Objeto ConeSegment e' um atributo de Objeto auto-conectado o topo de Objeto auto-conectado e' ProcessoOP o fundo de Objeto auto-conectado e' Objeto auto-conectado Objeto auto-conectado e' uma instancia de Cloud o fundo de Objeto auto-conectado e' Objeto auto-conectado ProcessoOP encontra Objeto auto-conectado Objeto auto-conectado encontra Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 349-361	Objeto e' uma instancia de Crankshaft Objeto e' uma instancia de IntermittentCombustionEngine Objeto e' uma &parte de Objeto Objeto tem por fim Entidade Entidade Entidade e' uma instancia de Explosion Entidade e' uma instancia de Rotating Objeto e' um patient de Entidade eventLocated Entidade and Objeto Entidade causa Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2913-2931	Componente de Engenharia e' uma instancia de EngineGovernor Componente de Engenharia e' uma instancia de Engine Componente de Engenharia e' conectado a Componente de Engenharia governorSpeed Componente de Engenharia and Numero Real MilesPerHour(s) Componente de Engenharia tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Aparelho Entidade e' uma &parte de Componente de Engenharia Entidade e' uma instancia de Rotating a medida de Entidade e' Entidade MilesPerHour(s) Entidade e' maior que Numero Real vale durante tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2713-2727	Objeto e' uma instancia de FanBelt Objeto e' uma instancia de EngineFan Objeto e' uma instancia de Automobile Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Processo e' uma instancia de Movimento Objeto e' um patient de Processo Objeto tem por fim Processo2 Processo2 e' uma instancia de Rotating Processo causa Processo2 Objeto e' um patient de Processo2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4286-4299	Objeto e' uma instancia de Reel Processo e' uma instancia de Manter Objeto e' uma instancia de Objeto Corpuscular LongAndThin e' um atributo de Objeto Pliable e' um atributo de Objeto Objeto e' um instrumento para Processo Objeto e' um patient de Processo Processo Processo e' uma instancia de Rotating Objeto e' um patient de Processo Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6000-6011	AutonomousAgent e' uma instancia de Lathe Entidade e' uma instancia de Objeto AutonomousAgent e' um instrumento para Processo Entidade e' um patient de Processo Processo Processo e' uma instancia de Rotating Processo e' um sub-processo de Processo Entidade e' um patient de Processo Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1292-1307	Processo e' uma instancia de Transporte Objeto e' uma instancia de Wheel Objeto e' uma instancia de Automobile Objeto e' uma &parte de Objeto Objeto e' um instrumento para Processo ObjetoB e' uma instancia de AntilockBrake Processo e' uma instancia de Decelerating ObjetoB e' um instrumento para Processo ObjetoB e' uma &parte de Objeto ObjetoB tem por fim Entidade Entidade e' uma instancia de Rotating Entidade acontece durante Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17495-17507	axis AutonomousAgent and AutonomousAgent Processo Processo e' uma instancia de Rotating AutonomousAgent e' uma &parte de AutonomousAgent AutonomousAgent experimenta Processo Processo2 Processo2 e' uma instancia de Rotating Processo2 e' um sub-processo de Processo AutonomousAgent experimenta Processo2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2329-2363	Fisico e' uma instancia de AutomobileTransmission Fisico tem por fim Entidade Entidade, Entidade, Entidade, Entidade, Entidade, Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Crankshaft Entidade e' uma instancia de Driveshaft Entidade e' uma instancia de Automobile Entidade e' uma &parte de Entidade Fisico e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade e' conectado a Fisico Entidade e' conectado a Fisico Entidade e' uma instancia de Rotating Entidade e' uma instancia de Rotating Entidade e' uma instancia de Rotating Entidade e' uma instancia de Rotating Entidade e' um patient de Entidade Entidade e' um patient de Entidade Entidade e' um patient de Entidade Entidade e' um patient de Entidade Entidade causa Entidade Entidade causa Entidade Entidade e' igual a Entidade a medida de Entidade e' RotationFn Entidade and MinuteDuration vale durante Entidade a medida de Entidade e' RotationFn Entidade and MinuteDuration vale durante Entidade a medida de Entidade e' RotationFn Entidade and MinuteDuration vale durante Entidade a medida de Entidade e' RotationFn Entidade and MinuteDuration vale durante Entidade Entidade e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1645-1651	Fisico e' uma instancia de Cam Fisico tem por fim Entidade Entidade e' uma instancia de Rotating Fisico e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1658-1664	Fisico e' uma instancia de Camshaft Fisico tem por fim Entidade Entidade e' uma instancia de Rotating Fisico e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Food.kif 3065-3074	Fisico e' uma instancia de ChurningButter Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Milk Entidade e' uma instancia de Rotating Entidade e' um patient de Entidade Entidade e' o resultado de Entidade Entidade e' uma instancia de Butter
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17514-17523	Processo e' uma instancia de CentrifugalMotion Processo Objeto, AutonomousAgent and AutonomousAgent Processo e' uma instancia de Rotating axis Objeto and AutonomousAgent Processo tem como origem Objeto AutonomousAgent experimenta Processo AutonomousAgent experimenta Processo Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17529-17538	Processo e' uma instancia de CentripetalMotion Processo Objeto, AutonomousAgent and AutonomousAgent Processo e' uma instancia de Rotating axis Objeto and AutonomousAgent Processo termina em Objeto AutonomousAgent experimenta Processo AutonomousAgent experimenta Processo Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2257-2269	Fisico e' uma instancia de Distributor Fisico tem por fim Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Engine Entidade e' uma instancia de SparkPlug Entidade e' uma instancia de Spark Entidade e' uma &parte de Fisico Fisico e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade e' uma instancia de Rotating Entidade causa Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2308-2320	Fisico e' uma instancia de Driveshaft Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Automobile Entidade e' uma instancia de Wheel Fisico e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade e' uma instancia de Rotating Fisico e' um patient de Entidade Entidade e' um patient de Entidade Entidade causa Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4191-4199	Fisico e' uma instancia de Screwdriver Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Rotating Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Screw
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2198-2213	Processo e' uma instancia de EngineCranking Objeto Objeto, Objeto, Processo, Objeto and Processo Objeto e' uma instancia de ElectricalMotor Objeto e' uma instancia de InternalCombustionEngine Objeto e' uma instancia de Shaft Objeto e' uma instancia de Crankshaft Objeto e' uma &parte de Objeto Processo e' um sub-processo de Processo Processo e' uma instancia de Rotating Objeto e' um patient de Processo Processo e' uma instancia de Rotating Objeto e' um patient de Processo Objeto e' uma &parte de Objeto Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2222-2230	Fisico e' uma instancia de Flywheel Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Rotating Entidade e' uma instancia de Rotating Fisico e' um patient de Entidade Entidade causa Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4573-4589	Fisico e' uma instancia de FourWheelDriveVehicle Fisico tem por fim Entidade Entidade e' uma &parte de Fisico Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Engine Entidade e' uma &parte de Fisico Entidade e' uma instancia de Crankshaft Entidade e' uma &parte de Entidade Entidade e' uma instancia de Rotating Entidade e' um patient de Entidade Entidade e' uma instancia de Rotating Entidade e' um patient de Entidade Entidade causa Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15303-15311	Fisico e' uma instancia de Hinge Fisico tem por fim Entidade Entidade Fisico conecta Entidade e Entidade Entidade e' capaz de fazer Rotating no role patient Entidade e' capaz de fazer Rotating no role patient
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2276-2291	Fisico e' uma instancia de Pulley Fisico tem por fim Fisico2 Entidade, Entidade and Entidade Fisico2 e' uma instancia de Pulley Fisico e' igual a Fisico2 Entidade e' uma instancia de Drivebelt Entidade e' uma instancia de Rotating Entidade e' uma instancia de Rotating Fisico e' conectado a Entidade Fisico2 e' conectado a Entidade Fisico e' um patient de Entidade Fisico2 e' um patient de Entidade Entidade causa Entidade
No TPTP formula. May not be expressible in strict first order.	engineering.kif 783-785	Objeto e' uma instancia de Rotor Objeto e' capaz de fazer Rotating no role instrument
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4004-4013	Fisico e' uma instancia de Tachometer Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Rotating Entidade e' um patient de Entidade Entidade e' uma instancia de Medir Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4596-4628	Fisico e' uma instancia de TwoWheelDriveVehicle Fisico tem por fim Entidade Entidade Entidade e' uma &parte de Fisico Entidade e' uma &parte de Fisico Entidade e' igual a Entidade Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Engine Entidade e' uma &parte de Fisico Entidade e' uma instancia de Crankshaft Entidade e' uma &parte de Entidade Entidade e' uma instancia de Rotating Entidade e' um patient de Entidade Entidade e' uma instancia de Rotating Entidade e' um patient de Entidade Entidade causa Entidade Entidade e' um patient de Entidade Entidade causa Entidade Entidade Entidade Entidade e' igual a Entidade Entidade e' igual a Entidade Entidade e' uma &parte de Fisico Entidade e' uma instancia de Rotating Entidade e' um patient de Entidade Entidade causa Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4135-4143	Fisico e' uma instancia de Wrench Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Rotating Entidade e' uma instancia de AttachingDevice Entidade e' um patient de Entidade Fisico e' um instrumento para Entidade

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: