|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17072-17072 | Above e' uma instancia de AntiSymmetricPositionalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17071-17071 | Above e' uma instancia de Atributo Posicional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4761-4761 | AbsoluteValueFn e' uma instancia de Relacao Total |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4760-4760 | AbsoluteValueFn e' uma instancia de funcao Unaria |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13713-13713 | AbunLanguage e' uma instancia de NorthBirdsHeadLanguage |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 519-519 | Acapella e' uma instancia de MusicGenre |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13151-13151 | AcatepecTlapanecoLanguage e' uma instancia de SubtiabaTlapanecLanguage |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1278-1278 | AccelerationFn e' uma instancia de Funcao Quaternaria |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1279-1279 | AccelerationFn e' uma instancia de Relacao Total |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 844-844 | AcceptsICJJurisdiction e' uma instancia de LegalSystemAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11553-11553 | AccommodationAndFoodServices e' uma instancia de IndustryAttribute |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4468-4468 | AccountActive e' uma instancia de AccountAttribute |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4467-4467 | AccountDeactivated e' uma instancia de AccountAttribute |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2315-2315 | AccountFn e' uma instancia de funcao Unaria |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21103-21103 | Accountant e' uma instancia de Profession |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8338-8338 | AchterhoeksLanguage e' uma instancia de LowSaxonGroupLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 11526-11526 | AchuarShiwiarLanguage e' uma instancia de JivaroanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 534-534 | AcidHouse e' uma instancia de MusicGenre |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 539-539 | AcidJazz e' uma instancia de MusicGenre |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6823-6823 | AcidRainIssue e' uma instancia de EnvironmentalIssue |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 547-547 | AcidRock e' uma instancia de MusicGenre |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2799-2799 | AcidicPH e' uma instancia de Atributo Interno |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6822-6822 | AcidificationIssue e' uma instancia de EnvironmentalIssue |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 553-553 | AcousticMusic e' uma instancia de MusicGenre |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13689-13689 | Acre e' uma instancia de UnitOfArea |
| 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