TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2997-2997
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11015-11015
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1757-1757
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11457-11457
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11462-11462
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11465-11465
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11460-11460
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10134-10134
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11456-11456
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11463-11463
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11459-11459
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11458-11458
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11461-11461
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11464-11464
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11013-11013	Movimento e' uma sub-classe de Processo

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4894-4894	O contra-dominio de FlowFn e' uma instancia de Movimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11094-11094	Movimento do Corpo e' uma sub-classe de Movimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21526-21526	Closing e' uma sub-classe de Movimento
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1982-1982	Compressing e' uma sub-classe de Movimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11274-11274	Mudanca de Direcao e' uma sub-classe de Movimento
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2208-2208	EngineCranking e' uma sub-classe de Movimento
No TPTP formula. May not be expressible in strict first order.	Cars.kif 80-80	EngineCycle e' uma sub-classe de Movimento
No TPTP formula. May not be expressible in strict first order.	Cars.kif 202-202	FourStrokeCombustion e' uma sub-classe de Movimento
No TPTP formula. May not be expressible in strict first order.	Cars.kif 186-186	FourStrokeCompression e' uma sub-classe de Movimento
No TPTP formula. May not be expressible in strict first order.	Cars.kif 219-219	FourStrokeExhaust e' uma sub-classe de Movimento
No TPTP formula. May not be expressible in strict first order.	Cars.kif 166-166	FourStrokeIntake e' uma sub-classe de Movimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11244-11244	GasMotion e' uma sub-classe de Movimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11189-11189	GeologicalProcess e' uma sub-classe de Movimento
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5706-5706	Irrigating e' uma sub-classe de Movimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11220-11220	LiquidMotion e' uma sub-classe de Movimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11065-11065	MotionDownward e' uma sub-classe de Movimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11059-11059	MotionUpward e' uma sub-classe de Movimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21519-21519	Opening e' uma sub-classe de Movimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17607-17607	Pulling e' uma sub-classe de Movimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17613-17613	Pushing e' uma sub-classe de Movimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13645-13645	Irradiar e' uma sub-classe de Movimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17513-17513	Reversing e' uma sub-classe de Movimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17441-17441	Rotating e' uma sub-classe de Movimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17133-17133	Stretching e' uma sub-classe de Movimento
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6795-6795	Swarming e' uma sub-classe de Movimento

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10979-10979	O argumento numero 1 de moves e' uma instancia de Movimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11075-11075	O argumento numero 1 de path e' uma instancia de Movimento
No TPTP formula. May not be expressible in strict first order.	Weather.kif 328-328	O argumento numero 2 de windDrivenMotion e' uma instancia de Movimento

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1838-1856	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 1817-1836	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 777-792	Processo e' uma instancia de Movimento Processo e' uma instancia de Tremor Objeto e' uma instancia de Damper Objeto e' um patient de Processo Objeto e' uma &parte de Objeto Processo causa Processo Entidade e' uma instancia de UnitOfLength physicalAmplitude Processo and Numero Real Entidade(s) vale durante tempo de existencia de Processo physicalAmplitude Processo and Numero Real Entidade(s) vale durante imediatemente apos Processo Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2730-2744	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.	ComputerInput.kif 85-91	Processo e' uma instancia de GuidingMotion Entidade e' um patient de Processo Processo e' um sub-processo de Processo Processo e' uma instancia de Movimento Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 93-99	Processo e' uma instancia de GuidingMotion Processo e' um sub-processo de Processo Processo e' uma instancia de Movimento Entidade e' um patient de Processo Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1332-1355	Objeto e' uma instancia de Lever Processo e' uma instancia de Pushing Fisico e' uma instancia de Movimento Unidade de Medida e' uma instancia de UnitOfLength Processo termina em Objeto physicalEnd Objeto and Objeto physicalEnd Objeto and Objeto Objeto e' igual a Objeto Objeto e' situado em Processo1 vale durante imediatemente antes de tempo de existencia de Fisico Objeto e' situado em Processo2 vale durante imediatemente apos tempo de existencia de Fisico Objeto e' situado em Processo3 vale durante imediatemente antes de tempo de existencia de Fisico Objeto e' situado em Processo4 vale durante imediatemente apos tempo de existencia de Fisico a distancia entre Processo1 e Processo2 e' Numero Real Unidade de Medida(s) a distancia entre Processo3 e Processo4 e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11052-11057	Movimento e' uma instancia de Movimento moves Movimento and Objeto Movimento termina em Entidade Objeto e' situado em Entidade vale durante o fim de tempo de existencia de Movimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11036-11041	Movimento e' uma instancia de Movimento moves Movimento and Objeto Movimento tem como origem Objeto Objeto e' situado em Objeto vale durante o comeco de tempo de existencia de Movimento
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 801-807	Objeto e' uma instancia de CrudeOilPipeline Processo e' uma instancia de Movimento Objeto e' um instrumento para Processo Entidade e' um patient de Processo Entidade e' uma instancia de Petroleum
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 813-819	Objeto e' uma instancia de NaturalGasPipeline Processo e' uma instancia de Movimento Objeto e' um instrumento para Processo Entidade e' um patient de Processo Entidade e' uma instancia de NaturalGas
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 826-832	Objeto e' uma instancia de PetroleumProductPipeline Processo e' uma instancia de Movimento Objeto e' um instrumento para Processo Entidade e' um patient de Processo Entidade e' uma instancia de PetroleumProduct
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 777-783	Objeto e' uma instancia de Pipeline Processo e' uma instancia de Movimento Objeto e' um instrumento para Processo Entidade e' um patient de Processo Entidade e' uma instancia de a classe correspondente a Fluid
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11018-11023	Movimento e' uma instancia de Movimento Objeto Objeto e' uma instancia de Objeto moves Movimento and Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26159-26171	WheelchairAccessible e' um atributo de Objeto Objeto e' uma instancia de Predio Objeto e' uma instancia de Comodo o argumento Entidade Entidade Entidade e' uma instancia de Movimento Entidade e' um instrumento para Entidade Entidade e' uma instancia de Wheelchair eventLocated Entidade and Objeto tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2056-2060	Atributo e' uma instancia de SpeedScaleAttribute Entidade tem um atributo de Atributo Entidade e' uma instancia de Movimento
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3416-3426	Objeto e' uma instancia de VehicleBrake Objeto e' uma instancia de Vehicle Objeto e' uma &parte de Objeto Objeto tem por fim Entidade Entidade e' uma instancia de StopFn Movimento Objeto e' um patient de Entidade Objeto e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1838-1856	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 1817-1836	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.	Mid-level-ontology.kif 18150-18184	Objeto e' uma instancia de Saw Processo e' uma instancia de Cortar Objeto e' um instrumento para Processo Objeto e' uma instancia de Objeto Objeto e' um patient de Processo Processo Entidade, Entidade, Intervalo Temporal, Posicao Temporal, Posicao Temporal and Objeto Processo e' uma instancia de Movimento Processo e' um sub-processo de Processo Objeto e' uma instancia de CuttingDevice Objeto e' uma &parte de Objeto Objeto encontra Objeto Objeto e' um patient de Processo Posicao Temporal e' uma instancia de Intervalo Temporal Posicao Temporal e' uma instancia de Intervalo Temporal tempo de existencia de Processo e' igual a Intervalo Temporal Intervalo Temporal e' uma &parte de Posicao Temporal Intervalo Temporal e' uma &parte de Posicao Temporal Entidade e' uma instancia de Atributo Directional Entidade e' uma instancia de Atributo Directional as entidades no processo Processo se movem Entidade vale durante Posicao Temporal as entidades no processo Processo se movem Entidade Entidade e' igual a Entidade oppositeDirection Entidade and Entidade ~{ Entidade e' igual a Entidade } ~{ oppositeDirection Entidade and Entidade } vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30255-30266	Entidade e' uma instancia de AutonomousAgent Motionless e' um atributo de Entidade vale durante Intervalo Temporal Processo Processo e' uma instancia de Movimento Entidade e' um patient de Processo tempo de existencia de Processo acontece durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2130-2143	speedScaleAttributeMinMax SpeedScaleAttribute, Numero Real Unidade de Medida(s) and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de Unidade de Medida Fisico Numero Real Fisico e' uma instancia de Movimento Fisico tem um atributo de SpeedScaleAttribute a medida de Fisico e' Numero Real Unidade de Medida(s) Numero Real e' maior ou igual a Numero Real Numero Real e' menor ou igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2698-2714	Locked e' um atributo de Objeto Objeto Processo and Entidade Objeto e' uma instancia de Lock Objeto e' conectado com Objeto Processo e' uma instancia de Closing Objeto e' um patient de Processo Entidade e' uma instancia de Movimento tempo de existencia de Processo acontence antes de tempo de existencia de Locked e' um atributo de Objeto o argumento Objeto e' um patient de Entidade nao %n a forca modal de Possibility vale durante tempo de existencia de Locked e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 548-564	Fisico e' uma instancia de Catheter Fisico tem por fim Entidade Entidade, EntidadeBJ and Entidade Entidade e' uma instancia de Organismo Entidade e' uma instancia de Movimento moves Entidade and EntidadeBJ Entidade e' Outside em relacao a Entidade Fisico e' o caminho ao longo do qual Entidade ocorre Entidade tem como origem Entidade Entidade termina em Entidade Entidade tem como origem Entidade Entidade termina em Entidade
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 71-76	Processo e' uma instancia de GuidingMotion Processo Processo e' um sub-processo de Processo Processo e' uma instancia de Movimento
No TPTP formula. May not be expressible in strict first order.	Cars.kif 280-289	Fisico e' uma instancia de IntermittentCombustionEngine Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Explosion Entidade e' uma instancia de Movimento eventLocated Entidade and Fisico eventLocated Entidade and Fisico Entidade causa Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 57-65	Fisico e' uma instancia de InternalCombustionEngine Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Combustao Entidade e' uma instancia de Movimento Entidade e' uma &parte de Fisico Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1381-1397	Fisico e' uma instancia de MechanicalJoint Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Movimento Entidade e' uma instancia de PhysicalSystem Entidade e' uma instancia de Componente de Engenharia Entidade e' uma instancia de Componente de Engenharia Entidade e' uma &parte de PhysicalSystem Fisico e' uma &parte de PhysicalSystem Entidade e' uma &parte de PhysicalSystem Entidade e' um patient de Entidade Entidade e' um patient de Entidade Entidade e' conectado a Fisico Entidade e' conectado a Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25283-25298	Objeto e' uma instancia de WhirlpoolTub Objeto Objeto e' uma instancia de PressureControlValve Objeto e' uma &parte de Objeto Objeto tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Agua Entidade e' situado em Objeto Entidade e' uma instancia de Criacao Objeto e' um instrumento para Entidade Entidade e' o resultado de Entidade Entidade e' uma instancia de Movimento Entidade e' situado em Entidade
No TPTP formula. May not be expressible in strict first order.	Food.kif 2603-2610	Entidade e' uma instancia de JuiceOfFn Fruta ou Vegetal Objeto Processo Objeto e' uma instancia de Fruta ou Vegetal Processo e' uma instancia de Movimento Objeto e' um recurso para Processo Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1246-1263	Processo e' uma instancia de WaterSkiing AutonomousAgent Objeto, Objeto, Objeto, Objeto, Processo and Processo Objeto e' uma instancia de WaterVehicle Objeto e' uma instancia de Area Aquatica Objeto e' uma instancia de WaterSki eventLocated Processo and Objeto AutonomousAgent e' uma instancia de Humano AutonomousAgent e' situado em Objeto Objeto conecta AutonomousAgent e Objeto Processo e' uma instancia de Transporte Objeto e' um instrumento para Processo Processo e' uma instancia de Movimento Processo e' um agente de AutonomousAgent Objeto e' um instrumento para Processo Processo causa Processo Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1304-1315	Processo e' uma instancia de WindSurfing Objeto Objeto, Processo and Processo Objeto e' uma instancia de WindSurfingBoard Objeto e' uma instancia de Area Aquatica Processo e' uma instancia de Wind Processo e' uma instancia de Movimento eventLocated Processo and Objeto Processo e' um sub-processo de Processo Objeto e' um instrumento para Processo Processo causa Processo

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

KB Term:			Term intersection

English Word: