Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3455-3484	WearableItem e' uma instancia de HearingProtection Animal e' uma instancia de Humano Animal usa WearableItem WearableItem tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Processo Entidade e' uma sub-classe de a classe descrita por Entidade Entidade proibe a ocurrencia de Entidade WearableItem e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3397-3425	WearableItem e' uma instancia de SafetyHarness Animal e' uma instancia de Animal Animal usa WearableItem WearableItem tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Processo WearableItem e' um instrumento para Entidade Animal e' um patient de Entidade Entidade e' uma sub-classe de a classe descrita por Entidade Entidade proibe a ocurrencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3490-3517	Fisico e' uma instancia de ProtectiveEyewear Fisico tem por fim FisicoRSON FisicoRSON e' uma instancia de Humano FisicoRSON usa Fisico Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Processo Fisico e' um instrumento para Entidade Entidade e' uma sub-classe de a classe descrita por Entidade Entidade proibe a ocurrencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 698-715	Processo e' uma instancia de ViolentContest Objeto e' um patient de Processo InjuryCausedFn Processo e' um atributo de Objeto ImpairedBodyPartFn Airway e' um atributo de Objeto o argumento Processo e' uma sub-classe de Combustao Entidade Entidade e' uma instancia de Ferir Entidade e' situado em Entidade Entidade e' uma instancia de Face Objeto e' um patient de Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3539-3560	WearableItem e' uma instancia de Respirator Animal e' uma instancia de Animal Animal usa WearableItem WearableItem tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Processo WearableItem e' um instrumento para Entidade Entidade proibe a ocurrencia de Entidade Entidade e' uma sub-classe de a classe descrita por Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10448-10448	Ferir e' uma sub-classe de Processo Patologico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10449-10449	Ferir e' uma sub-classe de Causar Dano
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10478-10478	Envenenar e' uma sub-classe de Ferir

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