Automobile - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1949-1952
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 322-322
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 247-247
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 394-394
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 396-396
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 395-395
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 397-397
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1948-1948	Automobile e' uma sub-classe de PassengerVehicle
No TPTP formula. May not be expressible in strict first order.	Cars.kif 836-836	Automobile e' uma sub-classe de PhysicalSystem
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1947-1947	Automobile e' uma sub-classe de SelfPoweredRoadVehicle

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1705-1705	industryProductType AutomobileManufacturing and Automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4974-4974	ChevroletAutomobile e' uma sub-classe de Automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4513-4513	CommodoreAutomobile e' uma sub-classe de Automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5126-5126	Corvette e' uma sub-classe de Automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4917-4917	FordAutomobile e' uma sub-classe de Automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4871-4871	HoldenToranaAutomobile e' uma sub-classe de Automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4859-4859	MiniCooper e' uma sub-classe de Automobile
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1962-1962	Taxicab e' uma sub-classe de Automobile
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9198-9198
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9197-9197
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9196-9196
No TPTP formula. May not be expressible in strict first order.	Cars.kif 727-727	typicalPart AutoSuspensionSystem and Automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 868-868	typicalPart AutomobileShock and Automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1237-1237	typicalPart BrakeSystem and Automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3148-3148	typicalPart IgnitionCoil and Automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3975-3975	typicalPart SteeringBox and Automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3992-3992	typicalPart SteeringColumn and Automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3997-3997	typicalPart SteeringWheel and Automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4144-4144	typicalPart TieRod and Automobile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29398-29398	typicalPart VehicleDoor and Automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3638-3638	typicallyContainsPart AutoAirbag and Automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 726-726	typicallyContainsPart AutoSuspensionSystem and Automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 869-869	typicallyContainsPart AutomobileShock and Automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1236-1236	typicallyContainsPart BrakeSystem and Automobile
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3149-3149	typicallyContainsPart IgnitionCoil and Automobile

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2591-2609	engineIdleSpeed InternalCombustionEngine and RotationFn Numero Real MilesPerHour(s) and Duracao Temporal Objeto e' uma instancia de Automobile Processo e' uma instancia de GasPedal Processo e' uma instancia de Pushing Processo termina em Objeto InternalCombustionEngine e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Crankshaft Objeto e' uma &parte de InternalCombustionEngine a medida de Objeto e' RotationFn Entidade MilesPerHour(s) and Duracao Temporal vale durante tempo de existencia de Processo o argumento Entidade e' maior que Numero Real tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2573-2589	A medida de Objeto e' Funcao de Quantidade vale durante Posicao Temporal engineIdleSpeed InternalCombustionEngine and Funcao de Quantidade Objeto e' uma instancia de Automobile InternalCombustionEngine e' uma &parte de Objeto Objeto e' uma &parte de InternalCombustionEngine o argumento Entidade Entidade Entidade acontece durante Posicao Temporal Entidade e' uma instancia de Pushing Entidade termina em Entidade Entidade e' uma &parte de Objeto tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 853-866	PhysicalSystem e' uma instancia de Automobile PhysicalSystem e' uma instancia de Automobile Objeto e' uma instancia de AutomobileShock Objeto e' uma &parte de PhysicalSystem Objeto Objeto e' uma instancia de AutomobileShock Objeto e' uma &parte de PhysicalSystem dampingRatio PhysicalSystem and Numero Real dampingRatio PhysicalSystem and Numero Real Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1844-1862	Objeto e' uma instancia de Clutch Objeto e' uma instancia de Automobile Objeto e' uma instancia de Engine Objeto e' uma instancia de Gearbox ObjetoEAR e' uma instancia de Gear ObjetoEAR e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Processo e' uma instancia de Movimento Objeto e' um patient de Processo DeviceOff e' um atributo de Objeto Processo2 Processo2 e' uma instancia de Movimento Objeto e' um patient de Processo2 Processo causa Processo2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1823-1842	Objeto e' uma instancia de Clutch Objeto e' uma instancia de Automobile Objeto e' uma instancia de Engine Objeto e' uma instancia de Gearbox ObjetoEAR e' uma instancia de Gear ObjetoEAR e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Processo e' uma instancia de Movimento Objeto e' um patient de Processo DeviceOn e' um atributo de Objeto Processo2 Processo2 e' uma instancia de Movimento Objeto e' um patient de Processo2 Processo causa Processo2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2148-2160	Objeto e' uma instancia de EngineCoolingSystem Objeto e' uma instancia de Engine Objeto e' uma instancia de Automobile Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto tem por fim Entidade Entidade e' uma instancia de Resfriar Objeto e' um instrumento para Entidade Objeto e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2736-2750	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 1070-1090	Objeto e' uma instancia de FuelPump Objeto e' uma instancia de Automobile Objeto e' uma &parte de Objeto Movimento e' uma instancia de Transporte Processo e' uma instancia de Fuel Processo e' um patient de Movimento Objeto e' um instrumento para Processo Objeto e' uma instancia de GasTank Objeto e' uma &parte de Objeto Objeto e' uma instancia de EngineCylinder Objeto e' uma &parte de Objeto Movimento tem como origem Objeto Movimento termina em Objeto Objeto e' o caminho ao longo do qual Movimento ocorre Movimento tem por fim ProcessoF ProcessoF e' uma instancia de FuelFilter betweenOnPath Objeto, ProcessoF, Objeto and Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1051-1068	Objeto e' uma instancia de FuelPump Objeto e' uma instancia de Automobile Objeto e' uma &parte de Objeto Processo e' uma instancia de Transporte Processo e' uma instancia de Fuel Processo e' um patient de Processo Objeto e' um instrumento para Processo Objeto tem por fim Entidade Entidade Entidade e' uma instancia de GasTank Entidade e' uma &parte de Objeto Entidade e' uma instancia de EngineCylinder Entidade e' uma &parte de Objeto Processo tem como origem Entidade Processo termina em Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4054-4069	Objeto e' uma instancia de Tailpipe ObjetoR e' uma instancia de Transferencia Entidade e' uma instancia de Exhaust Objeto e' uma instancia de Automobile ObjetoES e' uma instancia de AutomobileExhaustSystem Objeto e' uma &parte de Objeto Objeto e' o caminho ao longo do qual ObjetoR ocorre Entidade e' um patient de ObjetoR Objeto tem por fim Entidade Entidade e' uma &parte de Objeto beforeOnPath Objeto, Entidade, ObjetoES and ObjetoR
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.	Transportation.kif 1958-1960	Objeto e' uma instancia de Automobile equipmentCount Objeto, Axle and 2
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1954-1956	Objeto e' uma instancia de Automobile equipmentCount Objeto, VehicleWheel and 4

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 9711-9720	PassengerCarRental e' um atributo de Objeto Objeto tem por fim Entidade Entidade and Entidade customer Entidade and Objeto Entidade e' uma instancia de Automobile Entidade e' uma instancia de Renting Objeto possui Entidade Entidade e' um agente de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 845-851	Fisico e' uma instancia de AutomobileShock Fisico tem por fim Entidade Entidade e' uma instancia de Automobile Fisico e' uma &parte de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2352-2386	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 2331-2343	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.	Cars.kif 2525-2538	Fisico e' uma instancia de EngineControlModule Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Automobile Entidade e' uma instancia de Engine Entidade e' uma instancia de Processo Entidade e' uma instancia de Processo Entidade e' uma &parte de Entidade Fisico e' uma &parte de Entidade eventLocated Entidade and Fisico eventLocated Entidade and Entidade Entidade causa Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2758-2769	Fisico e' uma instancia de EngineFan Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Automobile Entidade e' uma instancia de Resfriar Entidade e' uma instancia de InternalCombustionEngine Entidade e' uma &parte de Entidade Fisico e' uma &parte de Entidade 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 2635-2651	Fisico e' uma instancia de ExhaustManifold Fisico tem por fim Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Automobile Entidade e' uma instancia de Exhaust Entidade e' uma instancia de EngineCylinder Entidade e' uma instancia de AutomobileMuffler Entidade e' uma instancia de Transferencia Fisico e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade tem como origem Entidade Entidade termina em Entidade Entidade e' um patient de Entidade Entidade e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3294-3303	Fisico e' uma instancia de EngineMAPSensor Fisico tem por fim Entidade Entidade Entidade e' uma instancia de EngineControlModule Entidade e' uma instancia de Automobile Fisico e' uma &parte de Entidade Entidade e' uma &parte de Entidade Fisico e' conectado a Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2717-2734	Fisico e' uma instancia de FanBelt Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Pulley Entidade e' uma instancia de Pulley Entidade e' igual a Entidade Entidade e' uma instancia de Crankshaft Entidade e' uma instancia de Automobile Entidade e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade e' uma &parte de Entidade Fisico e' uma &parte de Entidade Entidade e' conectado a Entidade Entidade e' conectado a Fisico Fisico e' conectado a Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2546-2561	Fisico e' uma instancia de GasPedal Fisico tem por fim Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Pushing Entidade e' uma instancia de Transferencia Entidade e' uma instancia de Fuel Entidade e' uma instancia de Engine Entidade e' uma instancia de Automobile Fisico e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade termina em Fisico Entidade termina em Entidade Entidade e' um patient de Entidade Entidade causa Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3190-3201	Fisico e' uma instancia de IgnitionControlModule Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Automobile Entidade e' uma instancia de Spark Entidade e' uma instancia de ComputerProcess Fisico e' uma &parte de Entidade eventLocated Entidade and Entidade eventLocated Entidade and Entidade Entidade causa Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2696-2709	Fisico e' uma instancia de IntakeValve Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Automobile Entidade e' uma instancia de FuelVapor Entidade e' uma instancia de CombustionChamber Entidade e' uma instancia de Transferencia Fisico e' uma &parte de Entidade Entidade e' uma &parte de Entidade Entidade e' um patient de Entidade Fisico e' o caminho ao longo do qual Entidade ocorre Entidade termina em Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4702-4713	Fisico e' uma instancia de InteriorVehicleEquipment Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Automobile Entidade e' uma instancia de Engine Entidade e' uma &parte de Entidade Fisico e' uma &parte de Entidade Fisico e' uma &parte de Entidade Fisico e' Inside em relacao a Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3826-3842	Fisico e' uma instancia de PositiveCrankcaseVentilationValve Fisico tem por fim Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Crankcase Entidade e' uma instancia de Fuel Entidade e' uma instancia de CombustionChamber Entidade e' uma instancia de Transferencia Entidade e' uma instancia de Automobile Entidade e' uma &parte de Entidade Entidade e' uma &parte de Entidade Fisico e' uma &parte de Entidade Entidade tem como origem Entidade Entidade termina em Entidade objectTransferred Entidade and Entidade Fisico e' o caminho ao longo do qual Entidade ocorre
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5054-5065	Fisico e' uma instancia de AutomobileSeat Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Humano Entidade e' uma instancia de Automobile Sitting e' um atributo de Entidade Entidade e' situado em Fisico Fisico e' situado em Entidade vale durante Entidade
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2035-2053	Processo e' uma instancia de ShuttleService Lista Objeto and AutonomousAgent Processo e' um agente de AutonomousAgent AutonomousAgent possui Objeto Objeto e' uma instancia de Automobile Lista e' uma instancia de Lista Entidade Entidade e' um membro de Lista Entidade e' uma instancia de PostalPlace Processo Processo e' uma instancia de Transporte Processo e' um agente de AutonomousAgent Objeto e' um instrumento para Processo Processo termina em Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4677-4688	Fisico e' uma instancia de VehicleRoofRack Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Transferencia Entidade e' um patient de Entidade Entidade e' uma instancia de Automobile Fisico e' Outside em relacao a Entidade Entidade encontra Fisico Fisico e' uma &parte de Entidade Entidade e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3640-3664	Fisico e' uma instancia de AutoAirbag Fisico tem por fim Entidade Entidade, Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Automobile Fisico e' uma &parte de Entidade Entidade e' uma instancia de Humano Entidade contem Entidade Entidade e' uma instancia de Impactar Entidade e' um patient de Entidade Entidade e' uma instancia de Inflating Fisico e' um patient de Entidade Entidade causa Entidade hinders Entidade and a classe descrita por Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4002-4020	Fisico e' uma instancia de SteeringColumnLock Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de SteeringColumn Entidade e' uma instancia de Automobile Entidade e' um componente de Entidade Fisico e' uma &parte de Entidade Entidade e' uma instancia de Protecting Fisico e' um instrumento para Entidade Locked e' um atributo de Fisico vale durante Entidade diminui a probabilidade de Entidade Entidade e' uma instancia de Stealing Entidade e' um patient de Entidade vale durante Entidade

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: