DeviceOn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - DeviceOn

DeviceOn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3644-3644	DeviceOn e' &o oposto de DeviceOff
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1871-1871	DeviceOn e' uma instancia de DeviceStateAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19356-19356
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19355-19355
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19354-19354

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1747-1767	Fisico e' uma instancia de Cavitating Objeto auto-conectado e' uma instancia de Pump DeviceOn e' um atributo de Objeto auto-conectado Liquid e' um atributo de Objeto Objeto auto-conectado contem Objeto Objeto auto-conectadoP Entidade Objeto auto-conectadoP e' uma &parte de Objeto auto-conectado Objeto auto-conectadoP tem por fim Liquid e' um atributo de Entidade Entidade encontra Objeto auto-conectadoP Entidade Liquid e' um atributo de Entidade Objeto auto-conectadoP encontra Entidade vale durante tempo de existencia de Fisico
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 1314-1348	Entidade e' uma instancia de EngineChoke DeviceOn e' um atributo de Entidade vale durante Processo DeviceOff e' um atributo de Entidade vale durante Processo Objeto auto-conectado e' uma instancia de EngineCylinder capacity Objeto auto-conectado and Quantidade Constante Processo e' uma instancia de FourStrokeCompression Processo e' uma instancia de FourStrokeCompression eventLocated Processo and Objeto auto-conectado eventLocated Processo and Objeto auto-conectado Objeto e' uma instancia de Air Objeto e' uma instancia de Fuel Objeto e' uma &parte de Quantidade ConstanteIX1 Objeto e' uma &parte de Quantidade ConstanteIX1 a medida de Quantidade ConstanteIX1 e' Quantidade Constante Objeto e' uma instancia de Air Objeto e' uma instancia de Fuel Objeto e' uma &parte de Quantidade ConstanteIX2 Objeto e' uma &parte de Quantidade ConstanteIX2 a medida de Quantidade ConstanteIX2 e' Quantidade Constante Unidade de Medida e' uma instancia de Unidade de Medida a medida de Objeto e' ObjetoM Unidade de Medida(s) a medida de Objeto e' ObjetoM Unidade de Medida(s) a medida de Objeto e' ObjetoM Unidade de Medida(s) a medida de Objeto e' ObjetoM Unidade de Medida(s) ObjetoM + ObjetoM e' maior que ObjetoM + ObjetoM
No TPTP formula. May not be expressible in strict first order.	Food.kif 365-372	Objeto e' uma instancia de Microwave DeviceOn e' um atributo de Objeto Processo Processo e' uma instancia de RadiatingElectromagnetic Objeto e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 567-580	Objeto e' uma instancia de ParkingBrake Objeto e' uma instancia de Vehicle DeviceOn e' um atributo de Objeto vale durante Posicao Temporal Objeto e' uma &parte de Objeto Objeto tem por fim Entidade Entidade e' uma instancia de Translocation Objeto e' um patient de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26445-26463	Objeto e' uma instancia de FireAlarm DeviceOn e' um atributo de Objeto Objeto e' situado em Objeto Processo Processo e' uma instancia de Som Irradiante Objeto e' um instrumento para Processo Processo tem por fim Entidade Entidade e' uma instancia de GroupOfPeople Entidade e' situado em Objeto Entidade sabe Entidade Entidade e' uma instancia de Fire eventLocated Entidade and Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26817-26825	Objeto auto-conectado e' uma instancia de HeatedPool Objeto auto-conectado contem Objeto Objeto e' uma instancia de FreshWater Objeto auto-conectado e' uma &parte de Objeto Objeto e' uma instancia de WaterHeater DeviceOn e' um atributo de Objeto WarmTemperature e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3629-3642	maxDeviceOperatingTemp Entidade and Entidade Entidade(s) Entidade e' uma instancia de UnitOfTemperature Entidade e' situado em Entidade DeviceOn e' um atributo de Entidade airTemperature Entidade and Entidade Entidade(s) Entidade e' maior que Entidade vale durante Posicao Temporal o argumento DeviceDamaged e' um atributo de Entidade vale durante imediatemente apos Posicao Temporal tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3682-3695	minDeviceOperatingTemp Entidade and Entidade Entidade(s) Entidade e' uma instancia de UnitOfTemperature Entidade e' situado em Entidade DeviceOn e' um atributo de Entidade airTemperature Entidade and Entidade Entidade(s) Entidade e' menos que Entidade vale durante Posicao Temporal o argumento DeviceDamaged e' um atributo de Entidade vale durante imediatemente apos Posicao Temporal tem a forca modal de Likely

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1071-1081	Processo e' uma instancia de TurningOffDevice Entidade e' um patient de Processo DeviceOn e' um atributo de Entidade vale durante o comeco de tempo de existencia de Processo DeviceOff e' um atributo de Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1095-1105	Processo e' uma instancia de TurningOnDevice Entidade e' um patient de Processo DeviceOff e' um atributo de Entidade vale durante o comeco de tempo de existencia de Processo DeviceOn e' um atributo de Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3936-3951	Fisico e' uma instancia de Solenoid Fisico tem por fim Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma &parte de Fisico DeviceOn e' um atributo de Fisico Entidade e' situado em Entidade vale durante Entidade DeviceOn e' um atributo de Fisico Entidade e' situado em Entidade vale durante Entidade Entidade e' igual a 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