|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17956-17956 | Le nombre 1 argument de physicalEnd est une instance de objet |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17957-17957 | Le nombre 2 argument de physicalEnd est une instance de objet |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23236-23236 | Le nombre 1 argument de playsRoleInEvent est une instance de objet |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23269-23269 | Le nombre 1 argument de playsRoleInEventOfType est une instance de objet |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23273-23273 | Le nombre 5 argument de playsRoleInEventOfType est une instance de objet |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2482-2482 | Le nombre 2 argument de policyLocationCoverage est une instance de objet |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4246-4246 | Le nombre 2 argument de possesses est une instance de objet |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 392-392 | Le nombre 1 argument de prohibitedItem est une instance de objet |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1002-1002 | Le nombre 1 argument de properlyFills est une instance de objet |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7659-7659 | Le nombre 1 argument de radius est une instance de objet |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17896-17896 | Le nombre 1 argument de relativeAngle est une instance de objet |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17897-17897 | Le nombre 2 argument de relativeAngle est une instance de objet |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3828-3828 | Le nombre 1 argument de relativeBearing est une instance de objet |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3829-3829 | Le nombre 2 argument de relativeBearing est une instance de objet |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1019-1019 | Le nombre 1 argument de relativeHumidity est une instance de objet |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29986-29986 | Le nombre 3 argument de rents est une instance de objet |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2512-2512 | Le nombre 2 argument de resource est une instance de objet |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2531-2531 | Le nombre 2 argument de resourceExhausted est une instance de objet |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7795-7795 | Le nombre 1 argument de smaller est une instance de objet |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7796-7796 | Le nombre 2 argument de smaller est une instance de objet |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13442-13442 | Le nombre 1 argument de sphereRadius est une instance de objet |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9677-9677 | Le nombre 1 argument de superficialPart est une instance de objet |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9678-9678 | Le nombre 2 argument de superficialPart est une instance de objet |
| 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