Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3389-3417	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.	Merge.kif 11580-11580	Falling e' uma sub-classe de Translocation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11581-11581	Falling e' uma sub-classe de MotionDownward
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13107-13107	Sinking e' uma sub-classe de Falling
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11207-11207	Precipitation e' uma sub-classe de Falling