No TPTP formula. May not be expressible in strict first order.	Merge.kif 12945-12945	Investigacao e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12196-12196	Manter e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 257-257	ListOnSite e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13649-13649	Listening e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13575-13575	Looking e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12241-12241	Preservar e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12835-12835	Fazer e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13407-13407	Manobra e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	engineering.kif 114-114	Modeling e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10557-10557	Processo Organizacional e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12353-12353	Cutucar e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6617-6617	Punching e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12896-12896	Perseguir e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10545-10545	Recreacao ou Exercicio e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12245-12245	Consertar e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13021-13021	Interacao Social e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11191-11191	Nadar e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18020-18020	Tilling e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1167-1167	UserAction e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20421-20421	WorkLeave e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1091-1091
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1393-1393
No TPTP formula. May not be expressible in strict first order.	french_format.kif 769-769
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 301-301
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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