|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29758-29758 | O argumento numero 2 de beforeOnPath e' uma instancia de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29759-29759 | O argumento numero 3 de beforeOnPath e' uma instancia de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4152-4152 | O argumento numero 1 de between e' uma instancia de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4153-4153 | O argumento numero 2 de between e' uma instancia de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4154-4154 | O argumento numero 3 de between e' uma instancia de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4173-4173 | O argumento numero 1 de betweenOnPath e' uma instancia de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4174-4174 | O argumento numero 2 de betweenOnPath e' uma instancia de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4175-4175 | O argumento numero 3 de betweenOnPath e' uma instancia de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4176-4176 | O argumento numero 4 de betweenOnPath e' uma instancia de Objeto |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1906-1906 | O argumento numero 1 de bidPrice e' uma instancia de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24253-24253 | O argumento numero 2 de birthplace e' uma instancia de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 205-205 | O argumento numero 2 de burialplace e' uma instancia de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3904-3904 | O argumento numero 3 de capability e' uma instancia de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 919-919 | O argumento numero 3 de capabilityDuring e' uma instancia de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2689-2689 | O argumento numero 3 de capableAtLocation e' uma instancia de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22869-22869 | O argumento numero 2 de cargo e' uma instancia de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4369-4369 | O argumento numero 2 de carries e' uma instancia de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11015-11015 | O argumento numero 2 de changesLocation e' uma instancia de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31125-31125 | O argumento numero 1 de circumfrence e' uma instancia de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19358-19358 | O argumento numero 1 de color e' uma instancia de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26917-26917 | O argumento numero 1 de conforms e' uma instancia de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9525-9525 | O argumento numero 1 de connected e' uma instancia de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9526-9526 | O argumento numero 2 de connected e' uma instancia de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5463-5463 | O argumento numero 1 de connectedDownstream e' uma instancia de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5464-5464 | O argumento numero 2 de connectedDownstream e' uma instancia de Objeto |
| 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