|
| (domain hasPurposeForAgent 2 Formula) | Merge.kif 4004-4004 | The number 2 argument of has purpose for agent is an instance of formula |
| (domain holdsDuring 2 Formula) | Merge.kif 3920-3920 | The number 2 argument of holds during is an instance of formula |
| (domain holdsObligation 1 Formula) | Merge.kif 17643-17643 | The number 1 argument of holds obligation is an instance of formula |
| (domain holdsRight 1 Formula) | Merge.kif 17623-17623 | The number 1 argument of holds right is an instance of formula |
| (domain hopes 2 Formula) | Mid-level-ontology.kif 8559-8559 | The number 2 argument of hopes is an instance of formula |
| (domain increasesLikelihood 1 Formula) | Merge.kif 2632-2632 | The number 1 argument of increases likelihood is an instance of formula |
| (domain increasesLikelihood 2 Formula) | Merge.kif 2633-2633 | The number 2 argument of increases likelihood is an instance of formula |
| (domain independentProbability 1 Formula) | Merge.kif 2669-2669 | The number 1 argument of independent probability is an instance of formula |
| (domain independentProbability 2 Formula) | Merge.kif 2670-2670 | The number 2 argument of independent probability is an instance of formula |
| (domain knows 2 Formula) | Merge.kif 2863-2863 | The number 2 argument of knows is an instance of formula |
| (domain modalAttribute 1 Formula) | Merge.kif 17499-17499 | The number 1 argument of modal attribute is an instance of formula |
| (domain permits 2 Formula) | Law.kif 22-22 | The number 2 argument of permits is an instance of formula |
| (domain prefers 2 Formula) | Merge.kif 2723-2723 | The number 2 argument of prefers is an instance of formula |
| (domain prefers 3 Formula) | Merge.kif 2724-2724 | The number 3 argument of prefers is an instance of formula |
| (domain prohibits 2 Formula) | Law.kif 44-44 | The number 2 argument of prohibits is an instance of formula |
| (domain rateDetail 2 Formula) | Hotel.kif 3000-3000 | The number 2 argument of rate detail is an instance of formula |
| (domain says 2 Formula) | Merge.kif 2883-2883 | The number 2 argument of says is an instance of formula |
| (domain treatedPageDefinition 2 Formula) | UXExperimentalTerms.kif 4141-4141 | The number 2 argument of treated page definition is an instance of formula |
| (domain visitorParameter 2 Formula) | UXExperimentalTerms.kif 1163-1163 | The number 2 argument of visitor profile parameter is an instance of formula |
|
|
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