|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 749-749 | O argumento numero 1 de greaterThanByQuality e' uma instancia de Entidade |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 750-750 | O argumento numero 2 de greaterThanByQuality e' uma instancia de Entidade |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 90-90 | O argumento numero 1 de immediateInstance e' uma instancia de Entidade |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3106-3106 | O argumento numero 1 de inList e' uma instancia de Entidade |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2724-2724 | O argumento numero 2 de inScopeOfInterest e' uma instancia de Entidade |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 81-81 | O argumento numero 1 de instance e' uma instancia de Entidade |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2415-2415 | O argumento numero 2 de involvedInEvent e' uma instancia de Entidade |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14753-14753 | O argumento numero 2 de localLongName e' uma instancia de Entidade |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14765-14765 | O argumento numero 2 de localShortName e' uma instancia de Entidade |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3331-3331 | O argumento numero 2 de nameIndexOrder e' uma instancia de Entidade |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4429-4429 | O argumento numero 2 de names e' uma instancia de Entidade |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 127-127 | O argumento numero 2 de offersAtTime e' uma instancia de Entidade |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 199-199 | O argumento numero 2 de pastTense e' uma instancia de Entidade |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2496-2496 | O argumento numero 2 de patient e' uma instancia de Entidade |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1708-1708 | O argumento numero 1 de property e' uma instancia de Entidade |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4413-4413 | O argumento numero 1 de refers e' uma instancia de Entidade |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4414-4414 | O argumento numero 2 de refers e' uma instancia de Entidade |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 627-627 | O argumento numero 2 de relatedExternalConcept e' uma instancia de Entidade |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 616-616 | O argumento numero 1 de relatedInternalConcept e' uma instancia de Entidade |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 617-617 | O argumento numero 2 de relatedInternalConcept e' uma instancia de Entidade |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4452-4452 | O argumento numero 1 de represents e' uma instancia de Entidade |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4453-4453 | O argumento numero 2 de represents e' uma instancia de Entidade |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4464-4464 | O argumento numero 1 de representsForAgent e' uma instancia de Entidade |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4465-4465 | O argumento numero 2 de representsForAgent e' uma instancia de Entidade |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4478-4478 | O argumento numero 2 de representsInLanguage e' uma instancia de Entidade |
| 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