|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2495-2495 | O argumento numero 1 de patient e' uma instancia de Processo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23239-23239 | O argumento numero 3 de playsRoleInEvent e' uma instancia de Processo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4367-4367 | O argumento numero 1 de prevents e' uma instancia de Processo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4597-4597 | O argumento numero 1 de realization e' uma instancia de Processo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3768-3768 | O argumento numero 1 de relatedEvent e' uma instancia de Processo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3769-3769 | O argumento numero 2 de relatedEvent e' uma instancia de Processo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2511-2511 | O argumento numero 1 de resource e' uma instancia de Processo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2530-2530 | O argumento numero 1 de resourceExhausted e' uma instancia de Processo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2551-2551 | O argumento numero 1 de result e' uma instancia de Processo |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1682-1682 | O argumento numero 1 de resultType e' uma instancia de Processo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3752-3752 | O argumento numero 1 de subProcess e' uma instancia de Processo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3753-3753 | O argumento numero 2 de subProcess e' uma instancia de Processo |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4386-4386 | O argumento numero 2 de successEvent e' uma instancia de Processo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29580-29580 | O argumento numero 1 de suffers e' uma instancia de Processo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6790-6790 | O argumento numero 1 de targetInAttack e' uma instancia de Processo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18395-18395 | O argumento numero 2 de DepartmentOfPreventingFn e' uma sub-classe de Processo |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 400-400 | O argumento numero 1 de InjuryCausedFn e' uma sub-classe de Processo |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6321-6321 | O argumento numero 1 de MeasuringProcessFn e' uma sub-classe de Processo |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 597-597 | O argumento numero 2 de activityCapability e' uma sub-classe de Processo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22929-22929 | O argumento numero 2 de areaOfResponsibility e' uma sub-classe de Processo |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 915-915 | O argumento numero 3 de biochemicalAgentAntidote e' uma sub-classe de Processo |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 783-783 | O argumento numero 2 de biochemicalAgentDelivery e' uma sub-classe de Processo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3902-3902 | O argumento numero 1 de capability e' uma sub-classe de Processo |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 917-917 | O argumento numero 1 de capabilityDuring e' uma sub-classe de Processo |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2687-2687 | O argumento numero 1 de capableAtLocation e' uma sub-classe de Processo |
| 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