Device - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3618-3619
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15962-15963
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15961-15961	Aparelho e' uma sub-classe de Artefato

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1882-1882	Aerator e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2734-2734	AnimalController e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2762-2762	AnimalPoweredDevice e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16034-16034	AttachingDevice e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26233-26233	AudioRecorder e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2619-2619	AutomobileMuffler e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3535-3535	Axle e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1404-1404	BallBearing e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2015-2015	Barricade e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2850-2850	Baton e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order.	Cars.kif 538-538	Brake e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order.	Cars.kif 672-672	BrakeCaliper e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order.	Cars.kif 666-666	BrakeDrum e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order.	Cars.kif 677-677	BrakePedal e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order.	Cars.kif 660-660	BrakeRotor e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1920-1920	BrushOrComb e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1640-1640	Cam e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13312-13312	Camera e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3072-3072	CanalLockGate e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30773-30773	Carabiner e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15033-15033	Chimney e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5587-5587	CleaningDevice e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1814-1814	Clutch e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1701-1701	CombustionChamber e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2260-2260	Compass e' uma sub-classe de Aparelho

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.	Mid-level-ontology.kif 17883-17883	O argumento numero 1 de OperatingFn e' uma instancia de Aparelho
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1387-1387	O argumento numero 1 de effectiveRange e' uma instancia de Aparelho
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3620-3620	O argumento numero 1 de maxDeviceOperatingTemp e' uma instancia de Aparelho
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3648-3648	O argumento numero 1 de maxDeviceStorageTemp e' uma instancia de Aparelho
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3673-3673	O argumento numero 1 de minDeviceOperatingTemp e' uma instancia de Aparelho
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3698-3698	O argumento numero 1 de minDeviceStorageTemp e' uma instancia de Aparelho
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1734-1734	O argumento numero 1 de powerComponent e' uma instancia de Aparelho
No TPTP formula. May not be expressible in strict first order.	Music.kif 827-827	O argumento numero 1 de PlayingInstrumentFn e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24309-24309	O argumento numero 2 de equipmentCount e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24324-24324	O argumento numero 2 de equipmentType e' uma sub-classe de Aparelho

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1365-1371	Entidade e' uma instancia de InternetAccessPoint Entidade e' uma instancia de Aparelho Entidade e' um componente de Internet vale durante tempo de existencia de Entidade e' conectado a Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30067-30075	Processo e' uma instancia de Causar Dano Entidade e' uma instancia de Aparelho Entidade e' um patient de Processo DeviceDamaged e' um atributo de Entidade vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1742-1746	powerComponent Aparelho and Artefato Artefato e' uma instancia de Aparelho Artefato e' uma instancia de SelfPoweredDevice
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15965-15968	Objeto e' uma instancia de Aparelho Processo Objeto e' capaz de fazer Processo no role instrument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15970-15977	Fisico e' uma instancia de Aparelho Entidade Fisico tem por fim Entidade Entidade e' uma instancia de Entidade Fisico e' um instrumento para Entidade

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1833-1837	Atributo e' um atributo de Objeto Atributo e' uma instancia de DeviceAttribute Objeto e' uma instancia de Aparelho
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2936-2954	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.	Mid-level-ontology.kif 17890-17894	Processo e' uma instancia de Installing Entidade e' um patient de Processo Entidade e' uma instancia de Aparelho
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1083-1087	Processo e' uma instancia de TurningOffDevice Entidade e' um patient de Processo Entidade e' uma instancia de Aparelho
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1107-1111	Processo e' uma instancia de TurningOnDevice Entidade e' um patient de Processo Entidade e' uma instancia de Aparelho
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16088-16093	Objeto Corpuscular e' uma instancia de Componente de Engenharia Objeto Corpuscular Objeto Corpuscular e' uma instancia de Aparelho Objeto Corpuscular e' um componente de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2755-2760	Artefato e' uma instancia de SelfPoweredDevice Aparelho Aparelho e' uma instancia de Aparelho powerComponent Aparelho and Artefato
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1728-1738	Processo e' uma instancia de SurfaceWindSpeedMeasuring Objeto Objeto Objeto e' uma instancia de Area Geografica Objeto e' uma instancia de Aparelho eventLocated Processo and Objeto Objeto e' um instrumento para Processo elevation Objeto and 10.0 Meter(s) vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Music.kif 36-47	Objeto e' uma instancia de RecordingStudio Fisico Fisico e' uma instancia de Aparelho Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Recording Fisico e' um instrumento para Entidade Entidade e' o resultado de Entidade Fisico e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26890-26899	Objeto e' uma instancia de ScubaDiving Objeto Objeto and Processo Objeto e' uma instancia de Area Aquatica Objeto e' Below em relacao a Objeto Objeto e' uma instancia de Aparelho Processo e' uma instancia de Respirar Objeto e' um instrumento para Processo Processo e' um sub-processo de Objeto
No TPTP formula. May not be expressible in strict first order.	Communications.kif 258-284	Componente de Engenharia e' uma instancia de BabyMonitoringSystem Componente de Engenharia Componente de Engenharia Componente de Engenharia e' uma instancia de RadioReceiver Componente de Engenharia e' uma instancia de Aparelho Componente de Engenharia e' um componente de Componente de Engenharia Componente de Engenharia e' um componente de Componente de Engenharia Componente de Engenharia tem por fim Entidade Entidade, Entidade, Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de HumanBaby Entidade e' uma instancia de Humano Entidade e' situado em Entidade Entidade e' situado em Entidade Entidade e' igual a Entidade Entidade e' uma instancia de Preservar Entidade e' um patient de Entidade Entidade e' um agente de Entidade Componente de Engenharia e' situado em Entidade Componente de Engenharia e' situado em Entidade Entidade e' uma instancia de Som Irradiante eventLocated Entidade and Entidade Entidade e' uma instancia de RadioEmission Entidade e' um patient de Entidade Entidade termina em Componente de Engenharia Entidade e' um agente de Componente de Engenharia
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1121-1131	Fisico e' uma instancia de RemoteControl Fisico tem por fim Entidade Entidade Entidade e' uma instancia de ElectronicSignalling Entidade e' um agente de Fisico Entidade termina em Entidade Entidade e' uma instancia de Aparelho Fisico e' uma &parte de 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: