TreeView Knowledge Base Browser - DeviceDamaged

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - DeviceDamaged

DeviceDamaged

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29426-29426	DeviceDamaged e' &o oposto de DeviceNormal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29427-29431
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29425-29425	DeviceDamaged e' uma instancia de Atributo Interno

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

domainEnglishFormat.kif 64762-64762

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29446-29451	DeviceDamaged e' um atributo de Objeto Objeto tem por fim Formula o argumento Formula nao %n a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29433-29444	DeviceDamaged e' um atributo de Objeto ObjetoAM ObjetoAM e' uma instancia de Causar Dano Objeto e' um patient de ObjetoAM Processo Processo e' uma instancia de Consertar Objeto e' um patient de Processo tempo de existencia de ObjetoAM acontence antes de tempo de existencia de Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30082-30086	Objeto e' uma instancia de DamagedVehicle Objeto e' uma instancia de Vehicle DeviceDamaged e' um atributo de Objeto
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.	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 3657-3670	maxDeviceStorageTemp Entidade and Entidade Entidade(s) Entidade e' uma instancia de UnitOfTemperature Entidade e' situado em Entidade DeviceOff 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
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3708-3721	minDeviceStorageTemp Entidade and Entidade Entidade(s) Entidade e' uma instancia de UnitOfTemperature Entidade e' situado em Entidade DeviceOff 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

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