|
| (domain holdsDuring 2 Formula) | Merge.kif 3882-3882 | Die Zahl 2 Argument von haeltWaehrend ist ein fall von Formula %n{nicht} |
| (domain holdsObligation 1 Formula) | Merge.kif 17446-17446 | Die Zahl 1 Argument von hatVerpflichtung ist ein fall von Formula %n{nicht} |
| (domain holdsRight 1 Formula) | Merge.kif 17426-17426 | Die Zahl 1 Argument von hatRecht ist ein fall von Formula %n{nicht} |
| (domain increasesLikelihood 1 Formula) | Merge.kif 2596-2596 | Die Zahl 1 Argument von vergroessertWahrscheinlichkeit ist ein fall von Formula %n{nicht} |
| (domain increasesLikelihood 2 Formula) | Merge.kif 2597-2597 | Die Zahl 2 Argument von vergroessertWahrscheinlichkeit ist ein fall von Formula %n{nicht} |
| (domain independentProbability 1 Formula) | Merge.kif 2633-2633 | Die Zahl 1 Argument von Unabhaenigkeitswahrscheinlichkeit ist ein fall von Formula %n{nicht} |
| (domain independentProbability 2 Formula) | Merge.kif 2634-2634 | Die Zahl 2 Argument von Unabhaenigkeitswahrscheinlichkeit ist ein fall von Formula %n{nicht} |
| (domain knows 2 Formula) | Merge.kif 2826-2826 | Die Zahl 2 Argument von kennt ist ein fall von Formula %n{nicht} |
| (domain modalAttribute 1 Formula) | Merge.kif 17302-17302 | Die Zahl 1 Argument von modalAttribute ist ein fall von Formula %n{nicht} |
| (domain permits 2 Formula) | Law.kif 22-22 | Die Zahl 2 Argument von permits ist ein fall von Formula %n{nicht} |
| (domain prefers 2 Formula) | Merge.kif 2687-2687 | Die Zahl 2 Argument von bevorzugt ist ein fall von Formula %n{nicht} |
| (domain prefers 3 Formula) | Merge.kif 2688-2688 | Die Zahl 3 Argument von bevorzugt ist ein fall von Formula %n{nicht} |
| (domain prohibits 2 Formula) | Law.kif 44-44 | Die Zahl 2 Argument von prohibits ist ein fall von Formula %n{nicht} |
| (domain rateDetail 2 Formula) | Hotel.kif 2989-2989 | Die Zahl 2 Argument von rateDetail ist ein fall von Formula %n{nicht} |
| (domain says 2 Formula) | Merge.kif 2846-2846 | Die Zahl 2 Argument von says ist ein fall von Formula %n{nicht} |
| (domain treatedPageDefinition 2 Formula) | UXExperimentalTerms.kif 4142-4142 | Die Zahl 2 Argument von treatedPageDefinition ist ein fall von Formula %n{nicht} |
| (domain visitorParameter 2 Formula) | UXExperimentalTerms.kif 1163-1163 | Die Zahl 2 Argument von visitorParameter ist ein fall von Formula %n{nicht} |
|
|
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