|
| (domain greaterThanByQuality 1 Entity) | Merge.kif 749-749 | O argumento numero 1 de greaterThanByQuality e' uma instancia de Entidade |
| (domain greaterThanByQuality 2 Entity) | Merge.kif 750-750 | O argumento numero 2 de greaterThanByQuality e' uma instancia de Entidade |
| (domain immediateInstance 1 Entity) | Merge.kif 90-90 | O argumento numero 1 de immediateInstance e' uma instancia de Entidade |
| (domain inList 1 Entity) | Merge.kif 3106-3106 | O argumento numero 1 de inList e' uma instancia de Entidade |
| (domain inScopeOfInterest 2 Entity) | Merge.kif 2724-2724 | O argumento numero 2 de inScopeOfInterest e' uma instancia de Entidade |
| (domain instance 1 Entity) | Merge.kif 81-81 | O argumento numero 1 de instance e' uma instancia de Entidade |
| (domain involvedInEvent 2 Entity) | Merge.kif 2415-2415 | O argumento numero 2 de involvedInEvent e' uma instancia de Entidade |
| (domain localLongName 2 Entity) | Mid-level-ontology.kif 14753-14753 | O argumento numero 2 de localLongName e' uma instancia de Entidade |
| (domain localShortName 2 Entity) | Mid-level-ontology.kif 14765-14765 | O argumento numero 2 de localShortName e' uma instancia de Entidade |
| (domain nameIndexOrder 2 Entity) | Media.kif 3331-3331 | O argumento numero 2 de nameIndexOrder e' uma instancia de Entidade |
| (domain names 2 Entity) | Merge.kif 4429-4429 | O argumento numero 2 de names e' uma instancia de Entidade |
| (domain offersAtTime 2 Entity) | Catalog.kif 127-127 | O argumento numero 2 de offersAtTime e' uma instancia de Entidade |
| (domain pastTense 2 Entity) | emotion.kif 199-199 | O argumento numero 2 de pastTense e' uma instancia de Entidade |
| (domain patient 2 Entity) | Merge.kif 2496-2496 | O argumento numero 2 de patient e' uma instancia de Entidade |
| (domain property 1 Entity) | Merge.kif 1708-1708 | O argumento numero 1 de property e' uma instancia de Entidade |
| (domain refers 1 Entity) | Merge.kif 4413-4413 | O argumento numero 1 de refers e' uma instancia de Entidade |
| (domain refers 2 Entity) | Merge.kif 4414-4414 | O argumento numero 2 de refers e' uma instancia de Entidade |
| (domain relatedExternalConcept 2 Entity) | Merge.kif 627-627 | O argumento numero 2 de relatedExternalConcept e' uma instancia de Entidade |
| (domain relatedInternalConcept 1 Entity) | Merge.kif 616-616 | O argumento numero 1 de relatedInternalConcept e' uma instancia de Entidade |
| (domain relatedInternalConcept 2 Entity) | Merge.kif 617-617 | O argumento numero 2 de relatedInternalConcept e' uma instancia de Entidade |
| (domain represents 1 Entity) | Merge.kif 4452-4452 | O argumento numero 1 de represents e' uma instancia de Entidade |
| (domain represents 2 Entity) | Merge.kif 4453-4453 | O argumento numero 2 de represents e' uma instancia de Entidade |
| (domain representsForAgent 1 Entity) | Merge.kif 4464-4464 | O argumento numero 1 de representsForAgent e' uma instancia de Entidade |
| (domain representsForAgent 2 Entity) | Merge.kif 4465-4465 | O argumento numero 2 de representsForAgent e' uma instancia de Entidade |
| (domain representsInLanguage 2 Entity) | Merge.kif 4478-4478 | O argumento numero 2 de representsInLanguage e' uma instancia de Entidade |
| 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