|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16264-16264 | O argumento numero 2 de defendant e' uma instancia de Agente Cognitivo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2788-2788 | O argumento numero 1 de desires e' uma instancia de Agente Cognitivo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7440-7440 | O argumento numero 1 de disapproves e' uma instancia de Agente Cognitivo |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 240-240 | O argumento numero 1 de discography e' uma instancia de Agente Cognitivo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7425-7425 | O argumento numero 1 de dislikes e' uma instancia de Agente Cognitivo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7410-7410 | O argumento numero 1 de doubts e' uma instancia de Agente Cognitivo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16639-16639 | O argumento numero 2 de employs e' uma instancia de Agente Cognitivo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7368-7368 | O argumento numero 1 de enjoys e' uma instancia de Agente Cognitivo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10589-10589 | O argumento numero 1 de expects e' uma instancia de Agente Cognitivo |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3944-3944 | O argumento numero 2 de experimenter e' uma instancia de Agente Cognitivo |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 910-910 | O argumento numero 1 de fitForMilitaryService e' uma instancia de Agente Cognitivo |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 66-66 | O argumento numero 1 de guest e' uma instancia de Agente Cognitivo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17447-17447 | O argumento numero 2 de holdsObligation e' uma instancia de Agente Cognitivo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17427-17427 | O argumento numero 2 de holdsRight e' uma instancia de Agente Cognitivo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2723-2723 | O argumento numero 1 de inScopeOfInterest e' uma instancia de Agente Cognitivo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16498-16498 | O argumento numero 2 de issuedBy e' uma instancia de Agente Cognitivo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2825-2825 | O argumento numero 1 de knows e' uma instancia de Agente Cognitivo |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1287-1287 | O argumento numero 2 de lender e' uma instancia de Agente Cognitivo |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 163-163 | O argumento numero 2 de lyricist e' uma instancia de Agente Cognitivo |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1163-1163 | O argumento numero 2 de musicChartBy e' uma instancia de Agente Cognitivo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2751-2751 | O argumento numero 1 de needs e' uma instancia de Agente Cognitivo |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 866-866 | O argumento numero 1 de netWorth e' uma instancia de Agente Cognitivo |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 238-238 | O argumento numero 1 de observesHoliday e' uma instancia de Agente Cognitivo |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2587-2587 | O argumento numero 2 de optionHolder e' uma instancia de Agente Cognitivo |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2600-2600 | O argumento numero 2 de optionSeller e' uma instancia de Agente Cognitivo |
| 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