|
| (domainSubclass FarmOfProductFn 1 Organism) | Food.kif 3667-3667 | Le nombre 1 argument de FarmOfProductFn est une sous-classe de organisme |
| (domainSubclass FoodForFn 1 Organism) | Merge.kif 14858-14858 | Le nombre 1 argument de FoodForFn est une sous-classe de organisme |
| (domainSubclass biologicalAgentCarrier 2 Organism) | WMD.kif 971-971 | Le nombre 2 argument de biologicalAgentCarrier est une sous-classe de organisme |
| (domainSubclass connectedBodyPartTypes 3 Organism) | Anatomy.kif 29-29 | Le nombre 3 argument de connectedBodyPartTypes est une sous-classe de organisme |
| (domainSubclass habitatOfOrganism 1 Organism) | Mid-level-ontology.kif 30378-30378 | Le nombre 1 argument de habitatOfOrganism est une sous-classe de organisme |
| (domainSubclass parasitic 1 Organism) | WMD.kif 2001-2001 | Le nombre 1 argument de parasitic est une sous-classe de organisme |
| (domainSubclass parasitic 2 Organism) | WMD.kif 2002-2002 | Le nombre 2 argument de parasitic est une sous-classe de organisme |
| (domainSubclass secretesToxin 1 Organism) | WMD.kif 983-983 | Le nombre 1 argument de secretesToxin est une sous-classe de organisme |
|
|
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