|
| (domain hasPurposeForAgent 2 Formula) | Merge.kif 3964-3964 | |
| (domain holdsDuring 2 Formula) | Merge.kif 3880-3880 | |
| (domain holdsObligation 1 Formula) | Merge.kif 17606-17606 | |
| (domain holdsRight 1 Formula) | Merge.kif 17586-17586 | |
| (domain hopes 2 Formula) | Mid-level-ontology.kif 8563-8563 | |
| (domain increasesLikelihood 1 Formula) | Merge.kif 2592-2592 | |
| (domain increasesLikelihood 2 Formula) | Merge.kif 2593-2593 | |
| (domain independentProbability 1 Formula) | Merge.kif 2629-2629 | |
| (domain independentProbability 2 Formula) | Merge.kif 2630-2630 | |
| (domain knows 2 Formula) | Merge.kif 2823-2823 | |
| (domain modalAttribute 1 Formula) | Merge.kif 17462-17462 | |
| (domain permits 2 Formula) | Law.kif 22-22 | |
| (domain prefers 2 Formula) | Merge.kif 2683-2683 | |
| (domain prefers 3 Formula) | Merge.kif 2684-2684 | |
| (domain prohibits 2 Formula) | Law.kif 44-44 | |
| (domain rateDetail 2 Formula) | Hotel.kif 3000-3000 | |
| (domain says 2 Formula) | Merge.kif 2843-2843 | |
| (domain treatedPageDefinition 2 Formula) | UXExperimentalTerms.kif 4142-4142 | |
| (domain visitorParameter 2 Formula) | UXExperimentalTerms.kif 1163-1163 |
|
|
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