|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1566-1566 | O argumento numero 1 de TransportationFn e' uma sub-classe de Veiculo de Transporte |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1157-1157 | O argumento numero 2 de ViralPartFn e' uma sub-classe de VirusPart |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8973-8973 | O argumento numero 2 de WeekFn e' uma sub-classe de Ano |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3155-3155 | O argumento numero 2 de abbreviatedDisplayTitle e' uma sub-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 157-157 | O argumento numero 2 de actionTendency e' uma sub-classe de EmotionalBehavioralProcess |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 597-597 | O argumento numero 2 de activityCapability e' uma sub-classe de Processo |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 699-699 | O argumento numero 2 de agreementAdoptionDate e' uma sub-classe de Posicao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 759-759 | O argumento numero 2 de agreementEffectiveDuring e' uma sub-classe de Posicao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 730-730 | O argumento numero 2 de agreementRevisionDate e' uma sub-classe de Posicao Temporal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2232-2232 | O argumento numero 2 de agriculturalProductType e' uma sub-classe de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2242-2242 | O argumento numero 2 de agriculturalProductTypeByRank e' uma sub-classe de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 169-169 | O argumento numero 2 de allRoomsPhysicalAmenity e' uma sub-classe de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 216-216 | O argumento numero 2 de allRoomsServiceAmenity e' uma sub-classe de ServiceProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6224-6224 | O argumento numero 2 de allergic e' uma sub-classe de Substancia |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3123-3123 | O argumento numero 2 de alternativeTitle e' uma sub-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7592-7592 | O argumento numero 1 de amount e' uma sub-classe de Substancia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24181-24181 | O argumento numero 2 de anniversary e' uma sub-classe de Dia |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1499-1499 | O argumento numero 3 de annualExpendituresOfAreaInPeriod e' uma sub-classe de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1471-1471 | O argumento numero 3 de annualRevenuesOfAreaInPeriod e' uma sub-classe de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10660-10660 | O argumento numero 1 de antagonistMuscles e' uma sub-classe de Musculo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10661-10661 | O argumento numero 2 de antagonistMuscles e' uma sub-classe de Musculo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22928-22928 | O argumento numero 2 de areaOfResponsibility e' uma sub-classe de Processo |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 342-342 | O argumento numero 2 de associatedFunctionality e' uma sub-classe de Proteina |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13794-13794 | O argumento numero 1 de atomicNumber e' uma sub-classe de Substancia Elementar |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15479-15479 | O argumento numero 2 de authors e' uma sub-classe de Objeto Representendo Conteudo Abstrato |
| 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