|
| No TPTP formula. May not be expressible in strict first order. | People.kif 71-71 | O contra-dominio de BirthsPerThousandFn e' uma instancia de Numero Real |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 690-690 | O contra-dominio de BorderFn e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2880-2880 | O contra-dominio de BoughtItemsFn e' uma instancia de Numero Inteiro nao-negativo |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1320-1320 | O contra-dominio de CPUUtilizationFn e' uma instancia de Quantidade Constante |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1528-1528 | O contra-dominio de CabinetFn e' uma instancia de GovernmentOrganization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5509-5509 | O contra-dominio de CardinalityFn e' uma instancia de Numero Inteiro |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4784-4784 | O contra-dominio de CeilingFn e' uma instancia de Numero Inteiro |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1170-1170 | O contra-dominio de CellPartFn e' uma instancia de CellPart |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7640-7640 | O contra-dominio de CenterOfCircleFn e' uma instancia de GeometricPoint |
| No TPTP formula. May not be expressible in strict first order. | People.kif 443-443 | O contra-dominio de ChildrenBornPerWomanFn e' uma instancia de Numero Real |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8040-8040 | O contra-dominio de CitizenryFn e' uma instancia de GroupOfPeople |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3331-3331 | O contra-dominio de ClickThroughRateFn e' uma instancia de Numero Real |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5478-5478 | O contra-dominio de ComplementFn e' uma instancia de Conjunto ou Classe |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1049-1049 | O contra-dominio de ContestFn e' uma instancia de Contest |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2843-2843 | O contra-dominio de ConversionRateFn e' uma instancia de Quantidade |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4802-4802 | O contra-dominio de CosineFn e' uma instancia de Numero Real |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 284-284 | O contra-dominio de CurrencyFn e' uma instancia de FinancialInstrument |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4858-4858 | O contra-dominio de DatumFn e' uma instancia de Medida de Comprimento |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18240-18240 | O contra-dominio de DeadOrMissingBodyPartFn e' uma instancia de Doenca ou Sindrome |
| No TPTP formula. May not be expressible in strict first order. | People.kif 104-104 | O contra-dominio de DeathsPerThousandFn e' uma instancia de Numero Real |
| No TPTP formula. May not be expressible in strict first order. | People.kif 230-230 | O contra-dominio de DeathsPerThousandLiveBirthsFn e' uma instancia de Numero Real |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4811-4811 | O contra-dominio de DenominatorFn e' uma instancia de Numero Inteiro |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6647-6647 | O contra-dominio de DensityFn e' uma instancia de Funcao de Quantidade |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18325-18325 | O contra-dominio de DepartmentOfFn e' uma instancia de Organizacao |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18397-18397 | O contra-dominio de DepartmentOfPreventingFn e' uma instancia de Organizacao |
| 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