|
| (domain patient 1 Process) | Merge.kif 2495-2495 | The number 1 argument of patient is an instance of process |
| (domain playsRoleInEvent 3 Process) | Mid-level-ontology.kif 23239-23239 | The number 3 argument of plays role in event is an instance of process |
| (domain prevents 1 Process) | Merge.kif 4367-4367 | The number 1 argument of prevents is an instance of process |
| (domain realization 1 Process) | Merge.kif 4597-4597 | The number 1 argument of realization is an instance of process |
| (domain relatedEvent 1 Process) | Merge.kif 3768-3768 | The number 1 argument of related event is an instance of process |
| (domain relatedEvent 2 Process) | Merge.kif 3769-3769 | The number 2 argument of related event is an instance of process |
| (domain resource 1 Process) | Merge.kif 2511-2511 | The number 1 argument of resource is an instance of process |
| (domain resourceExhausted 1 Process) | Merge.kif 2530-2530 | The number 1 argument of resource exhausted is an instance of process |
| (domain result 1 Process) | Merge.kif 2551-2551 | The number 1 argument of result is an instance of process |
| (domain resultType 1 Process) | Economy.kif 1682-1682 | The number 1 argument of result type is an instance of process |
| (domain subProcess 1 Process) | Merge.kif 3752-3752 | The number 1 argument of sub process is an instance of process |
| (domain subProcess 2 Process) | Merge.kif 3753-3753 | The number 2 argument of sub process is an instance of process |
| (domain successEvent 2 Process) | UXExperimentalTerms.kif 4386-4386 | The number 2 argument of exclusive is an instance of process |
| (domain suffers 1 Process) | Mid-level-ontology.kif 29580-29580 | The number 1 argument of suffers is an instance of process |
| (domain targetInAttack 1 Process) | Mid-level-ontology.kif 6790-6790 | The number 1 argument of target in attack is an instance of process |
| (domainSubclass DepartmentOfPreventingFn 2 Process) | Mid-level-ontology.kif 18395-18395 | The number 2 argument of Department of preventing fn is a subclass of process |
| (domainSubclass InjuryCausedFn 1 Process) | Medicine.kif 400-400 | The number 1 argument of InjuryCausedFn is a subclass of process |
| (domainSubclass MeasuringProcessFn 1 Process) | Medicine.kif 6321-6321 | The number 1 argument of measuring a process is a subclass of process |
| (domainSubclass activityCapability 2 Process) | Hotel.kif 597-597 | The number 2 argument of activity capability is a subclass of process |
| (domainSubclass areaOfResponsibility 2 Process) | Mid-level-ontology.kif 22929-22929 | The number 2 argument of area of responsibility is a subclass of process |
| (domainSubclass biochemicalAgentAntidote 3 Process) | WMD.kif 915-915 | The number 3 argument of biochemical agent antidote is a subclass of process |
| (domainSubclass biochemicalAgentDelivery 2 Process) | WMD.kif 783-783 | The number 2 argument of biochemical agent delivery is a subclass of process |
| (domainSubclass capability 1 Process) | Merge.kif 3902-3902 | The number 1 argument of capability is a subclass of process |
| (domainSubclass capabilityDuring 1 Process) | Dining.kif 917-917 | The number 1 argument of capable during is a subclass of process |
| (domainSubclass capableAtLocation 1 Process) | Transportation.kif 2687-2687 | The number 1 argument of capable at location is a subclass of process |
| 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