|
| (domain holdsDuring 2 Formula) | Merge.kif 3751-3751 | |
| (domain holdsObligation 1 Formula) | Merge.kif 16289-16289 | |
| (domain holdsRight 1 Formula) | Merge.kif 16269-16269 | |
| (domain increasesLikelihood 1 Formula) | Merge.kif 2501-2501 | |
| (domain increasesLikelihood 2 Formula) | Merge.kif 2502-2502 | |
| (domain independentProbability 1 Formula) | Merge.kif 2538-2538 | |
| (domain independentProbability 2 Formula) | Merge.kif 2539-2539 | |
| (domain knows 2 Formula) | Merge.kif 2731-2731 | |
| (domain modalAttribute 1 Formula) | Merge.kif 16145-16145 | |
| (domain permits 2 Formula) | Law.kif 35-35 | |
| (domain prefers 2 Formula) | Merge.kif 2592-2592 | |
| (domain prefers 3 Formula) | Merge.kif 2593-2593 | |
| (domain prohibits 2 Formula) | Law.kif 57-57 | |
| (domain rateDetail 2 Formula) | Hotel.kif 2944-2944 | |
| (domain treatedPageDefinition 2 Formula) | UXExperimentalTerms.kif 4349-4349 | |
| (domain visitorParameter 2 Formula) | UXExperimentalTerms.kif 1360-1360 |
|
|
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