|
| (domain hasPurposeForAgent 2 Formula) | Merge.kif 3979-3979 | Le nombre 2 argument de hasPurposeForAgent est une instance de formule |
| (domain holdsDuring 2 Formula) | Merge.kif 3895-3895 | Le nombre 2 argument de holdsDuring est une instance de formule |
| (domain holdsObligation 1 Formula) | Merge.kif 17621-17621 | Le nombre 1 argument de holdsObligation est une instance de formule |
| (domain holdsRight 1 Formula) | Merge.kif 17601-17601 | Le nombre 1 argument de holdsRight est une instance de formule |
| (domain hopes 2 Formula) | Mid-level-ontology.kif 8563-8563 | Le nombre 2 argument de hopes est une instance de formule |
| (domain increasesLikelihood 1 Formula) | Merge.kif 2607-2607 | Le nombre 1 argument de increasesLikelihood est une instance de formule |
| (domain increasesLikelihood 2 Formula) | Merge.kif 2608-2608 | Le nombre 2 argument de increasesLikelihood est une instance de formule |
| (domain independentProbability 1 Formula) | Merge.kif 2644-2644 | Le nombre 1 argument de independentProbability est une instance de formule |
| (domain independentProbability 2 Formula) | Merge.kif 2645-2645 | Le nombre 2 argument de independentProbability est une instance de formule |
| (domain knows 2 Formula) | Merge.kif 2838-2838 | Le nombre 2 argument de knows est une instance de formule |
| (domain modalAttribute 1 Formula) | Merge.kif 17477-17477 | Le nombre 1 argument de modalAttribute est une instance de formule |
| (domain permits 2 Formula) | Law.kif 22-22 | Le nombre 2 argument de permits est une instance de formule |
| (domain prefers 2 Formula) | Merge.kif 2698-2698 | Le nombre 2 argument de prefers est une instance de formule |
| (domain prefers 3 Formula) | Merge.kif 2699-2699 | Le nombre 3 argument de prefers est une instance de formule |
| (domain prohibits 2 Formula) | Law.kif 44-44 | Le nombre 2 argument de prohibits est une instance de formule |
| (domain rateDetail 2 Formula) | Hotel.kif 3000-3000 | Le nombre 2 argument de rateDetail est une instance de formule |
| (domain says 2 Formula) | Merge.kif 2858-2858 | Le nombre 2 argument de says est une instance de formule |
| (domain treatedPageDefinition 2 Formula) | UXExperimentalTerms.kif 4142-4142 | Le nombre 2 argument de treatedPageDefinition est une instance de formule |
| (domain visitorParameter 2 Formula) | UXExperimentalTerms.kif 1163-1163 | Le nombre 2 argument de visitorParameter est une instance de formule |
|
|
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