|
| (domain greaterThanByQuality 1 Entity) | Merge.kif 749-749 | The number 1 argument of greater than by quality is an instance of entity |
| (domain greaterThanByQuality 2 Entity) | Merge.kif 750-750 | The number 2 argument of greater than by quality is an instance of entity |
| (domain immediateInstance 1 Entity) | Merge.kif 90-90 | The number 1 argument of immediate instance is an instance of entity |
| (domain inList 1 Entity) | Merge.kif 3106-3106 | The number 1 argument of in list is an instance of entity |
| (domain inScopeOfInterest 2 Entity) | Merge.kif 2724-2724 | The number 2 argument of in scope of interest is an instance of entity |
| (domain instance 1 Entity) | Merge.kif 81-81 | The number 1 argument of instance is an instance of entity |
| (domain involvedInEvent 2 Entity) | Merge.kif 2415-2415 | The number 2 argument of involved in event is an instance of entity |
| (domain localLongName 2 Entity) | Mid-level-ontology.kif 14753-14753 | The number 2 argument of local long name is an instance of entity |
| (domain localShortName 2 Entity) | Mid-level-ontology.kif 14765-14765 | The number 2 argument of local short name is an instance of entity |
| (domain nameIndexOrder 2 Entity) | Media.kif 3331-3331 | The number 2 argument of name index order is an instance of entity |
| (domain names 2 Entity) | Merge.kif 4429-4429 | The number 2 argument of names is an instance of entity |
| (domain offersAtTime 2 Entity) | Catalog.kif 127-127 | The number 2 argument of offers at time is an instance of entity |
| (domain pastTense 2 Entity) | emotion.kif 199-199 | The number 2 argument of past tense is an instance of entity |
| (domain patient 2 Entity) | Merge.kif 2496-2496 | The number 2 argument of patient is an instance of entity |
| (domain property 1 Entity) | Merge.kif 1708-1708 | The number 1 argument of property is an instance of entity |
| (domain refers 1 Entity) | Merge.kif 4413-4413 | The number 1 argument of refers is an instance of entity |
| (domain refers 2 Entity) | Merge.kif 4414-4414 | The number 2 argument of refers is an instance of entity |
| (domain relatedExternalConcept 2 Entity) | Merge.kif 627-627 | The number 2 argument of related external concept is an instance of entity |
| (domain relatedInternalConcept 1 Entity) | Merge.kif 616-616 | The number 1 argument of related internal concept is an instance of entity |
| (domain relatedInternalConcept 2 Entity) | Merge.kif 617-617 | The number 2 argument of related internal concept is an instance of entity |
| (domain represents 1 Entity) | Merge.kif 4452-4452 | The number 1 argument of represents is an instance of entity |
| (domain represents 2 Entity) | Merge.kif 4453-4453 | The number 2 argument of represents is an instance of entity |
| (domain representsForAgent 1 Entity) | Merge.kif 4464-4464 | The number 1 argument of represents for agent is an instance of entity |
| (domain representsForAgent 2 Entity) | Merge.kif 4465-4465 | The number 2 argument of represents for agent is an instance of entity |
| (domain representsInLanguage 2 Entity) | Merge.kif 4478-4478 | The number 2 argument of represents in language is an instance of entity |
| 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