|
| (domainSubclass causesSubclass 1 Process) | Merge.kif 3801-3801 | Le nombre 1 argument de causesSubclass est une sous-classe de processus |
| (domainSubclass causesSubclass 2 Process) | Merge.kif 3802-3802 | Le nombre 2 argument de causesSubclass est une sous-classe de processus |
| (domainSubclass diseaseMedicine 3 Process) | WMD.kif 934-934 | Le nombre 3 argument de diseaseMedicine est une sous-classe de processus |
| (domainSubclass frequency 1 Process) | Merge.kif 7911-7911 | Le nombre 1 argument de frequency est une sous-classe de processus |
| (domainSubclass hasSkill 1 Process) | Merge.kif 3980-3980 | Le nombre 1 argument de hasSkill est une sous-classe de processus |
| (domainSubclass hinders 2 Process) | Merge.kif 4392-4392 | Le nombre 2 argument de hinders est une sous-classe de processus |
| (domainSubclass hindersSubclass 1 Process) | Merge.kif 4309-4309 | Le nombre 1 argument de hindersSubclass est une sous-classe de processus |
| (domainSubclass hindersSubclass 2 Process) | Merge.kif 4310-4310 | Le nombre 2 argument de hindersSubclass est une sous-classe de processus |
| (domainSubclass inhibits 2 Process) | Mid-level-ontology.kif 18367-18367 | Le nombre 2 argument de inhibits est une sous-classe de processus |
| (domainSubclass pathologyTreatment 3 Process) | Mid-level-ontology.kif 9934-9934 | Le nombre 3 argument de pathologyTreatment est une sous-classe de processus |
| (domainSubclass playsRoleInEventOfType 3 Process) | Mid-level-ontology.kif 23272-23272 | Le nombre 3 argument de playsRoleInEventOfType est une sous-classe de processus |
| (domainSubclass precondition 1 Process) | Merge.kif 4293-4293 | Le nombre 1 argument de precondition est une sous-classe de processus |
| (domainSubclass precondition 2 Process) | Merge.kif 4294-4294 | Le nombre 2 argument de precondition est une sous-classe de processus |
| (domainSubclass prevents 2 Process) | Merge.kif 4368-4368 | Le nombre 2 argument de prevents est une sous-classe de processus |
| (domainSubclass preventsSubclass 1 Process) | Merge.kif 4337-4337 | Le nombre 1 argument de preventsSubclass est une sous-classe de processus |
| (domainSubclass preventsSubclass 2 Process) | Merge.kif 4338-4338 | Le nombre 2 argument de preventsSubclass est une sous-classe de processus |
| (domainSubclass processInclusion 2 Process) | Hotel.kif 2784-2784 | Le nombre 2 argument de processInclusion est une sous-classe de processus |
| (domainSubclass typicalAction 1 Process) | Mid-level-ontology.kif 22816-22816 | Le nombre 1 argument de typicalAction est une sous-classe de processus |
| (domainSubclass typicalTemporalPart 1 Process) | Cars.kif 1442-1442 | Le nombre 1 argument de typicalTemporalPart est une sous-classe de processus |
| (domainSubclass typicalTemporalPart 2 Process) | Cars.kif 1443-1443 | Le nombre 2 argument de typicalTemporalPart est une sous-classe de processus |
| (domainSubclass typicallyContainsTemporalPart 1 Process) | Cars.kif 1482-1482 | Le nombre 1 argument de typicallyContainsTemporalPart est une sous-classe de processus |
| (domainSubclass typicallyContainsTemporalPart 2 Process) | Cars.kif 1483-1483 | Le nombre 2 argument de typicallyContainsTemporalPart est une sous-classe de processus |
| (partition Physical Object Process) | Merge.kif 833-833 | Physique est compl�tement d�compos� en objet + processus |
|
|
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