No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5323-5334	Fisico e' uma instancia de Pajamas Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Humano Entidade e' um agente de Entidade Entidade usa Fisico vale durante Entidade Entidade e' uma instancia de Sleeping Entidade e' uma instancia de StayingStill
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3566-3590	Fisico e' uma instancia de SafetyVest Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Animal Entidade e' uma instancia de Humano Entidade usa Fisico aumenta a probabilidade de Entidade Entidade e' uma instancia de Visao Entidade e' um patient de Entidade Entidade experimenta Entidade Entidade Entidade e' uma instancia de Visao Entidade e' um patient de Entidade Entidade experimenta Entidade diminui a probabilidade de Entidade Entidade e' uma instancia de Ferir Entidade e' um agente de Entidade Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15914-15920	Fisico e' uma instancia de WearableItem Fisico tem por fim Entidade Entidade e' uma instancia de Humano Entidade usa Fisico

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