|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13530-13530 | Le nombre 1 argument de defaultMaximumMeasure est une sous-classe de objet |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13479-13479 | Le nombre 1 argument de defaultMaximumSphereRadius est une sous-classe de objet |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13392-13392 | Le nombre 1 argument de defaultMaximumWidth est une sous-classe de objet |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13560-13560 | Le nombre 1 argument de defaultMeasure est une sous-classe de objet |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13343-13343 | Le nombre 1 argument de defaultMinimumHeight est une sous-classe de objet |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13409-13409 | Le nombre 1 argument de defaultMinimumLength est une sous-classe de objet |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13499-13499 | Le nombre 1 argument de defaultMinimumMeasure est une sous-classe de objet |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13460-13460 | Le nombre 1 argument de defaultMinimumSphereRadius est une sous-classe de objet |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13376-13376 | Le nombre 1 argument de defaultMinimumWidth est une sous-classe de objet |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2306-2306 | Le nombre 2 argument de exportCommodityType est une sous-classe de objet |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2323-2323 | Le nombre 2 argument de exportCommodityTypeByRank est une sous-classe de objet |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2611-2611 | Le nombre 2 argument de importCommodityType est une sous-classe de objet |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2619-2619 | Le nombre 2 argument de importCommodityTypeByRank est une sous-classe de objet |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1601-1601 | Le nombre 2 argument de industryProductType est une sous-classe de objet |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23706-23706 | Le nombre 1 argument de initialPart est une sous-classe de objet |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23707-23707 | Le nombre 2 argument de initialPart est une sous-classe de objet |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23733-23733 | Le nombre 1 argument de initiallyContainsPart est une sous-classe de objet |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23734-23734 | Le nombre 2 argument de initiallyContainsPart est une sous-classe de objet |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15028-15028 | Le nombre 1 argument de manufacturer est une sous-classe de objet |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1983-1983 | Le nombre 2 argument de naturalResourceTypeInArea est une sous-classe de objet |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1621-1621 | Le nombre 2 argument de organizationProductType est une sous-classe de objet |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23747-23747 | Le nombre 1 argument de partTypes est une sous-classe de objet |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23748-23748 | Le nombre 2 argument de partTypes est une sous-classe de objet |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2777-2777 | Le nombre 2 argument de physicalInclusion est une sous-classe de objet |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1478-1478 | Le nombre 1 argument de releaseForConsumption est une sous-classe 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