TreeView 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 15940-15941
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15939-15939	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 16012-16012	AttachingDevice e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26245-26245	AudioRecorder e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2613-2613	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 1634-1634	Cam e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13313-13313	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 30785-30785	Carabiner e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15034-15034	Chimney e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5588-5588	CleaningDevice e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1808-1808	Clutch e' uma sub-classe de Aparelho
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1695-1695	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 17884-17884	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 24310-24310	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 24325-24325	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 30079-30087	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 15943-15946	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 15948-15955	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 2930-2948	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 17891-17895	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 16066-16071	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 1732-1742	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 26902-26911	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 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: