(=>     (diseaseMedicine ?DISEASE Bacitracin ?PROCESS)     (and         (instance ?DISEASE BacterialDisease)         (subclass ?PROCESS Putting)))	WMD.kif 1322-1326	diseaseMedicine maladie ou syndrome, Bacitracin and processus maladie ou syndrome est une instance de BacterialDisease processus est une sous-classe de mettre
(=>     (diseaseMedicine ?DISEASE OralAntibiotic ?PROCESS)     (subclass ?PROCESS Ingesting))	WMD.kif 1288-1290	diseaseMedicine maladie ou syndrome, OralAntibiotic and processus processus est une sous-classe de ing�rer
(=>     (diseaseMedicine ?DISEASE TopicalAntibiotic ?PROCESS)     (subclass ?PROCESS Covering))	WMD.kif 1315-1317	diseaseMedicine maladie ou syndrome, TopicalAntibiotic and processus processus est une sous-classe de couvrir
(=>     (disjointDecomposition ?CLASS @ROW)     (forall (?ITEM)         (=>             (inList ?ITEM                 (ListFn @ROW))             (subclass ?ITEM ?CLASS))))	Merge.kif 2950-2955	Classe est disjointement decompos� en @ROW classe classe est un membre de (@ROW) classe est une sous-classe de classe
(=>     (equal ?C         (AgentOfOrganismFn CoccidiodesPosadasii))     (subclass ?C LifeThreateningAgent))	WMD.kif 1393-1396	BiologicalAgent est AgentOfOrganismFn CoccidiodesPosadasii BiologicalAgent est une sous-classe de LifeThreateningAgent
(=>     (equal ?C         (AgentOfOrganismFn CoccidioidesImmitis))     (subclass ?C LifeThreateningAgent))	WMD.kif 1381-1384	BiologicalAgent est AgentOfOrganismFn CoccidioidesImmitis BiologicalAgent est une sous-classe de LifeThreateningAgent
(=>     (equal ?C         (AgentOfOrganismFn SerratiaMarcenscens))     (subclass ?C LifeThreateningAgent))	WMD.kif 1371-1374	BiologicalAgent est AgentOfOrganismFn SerratiaMarcenscens BiologicalAgent est une sous-classe de LifeThreateningAgent
(=>     (equal ?C         (AgentOfOrganismFn TickBorneEncephalitisVirus))     (subclass ?C LifeThreateningAgent))	WMD.kif 2019-2022	BiologicalAgent est AgentOfOrganismFn TickBorneEncephalitisVirus BiologicalAgent est une sous-classe de LifeThreateningAgent
(=>     (equal ?C         (AgentOfOrganismFn YersiniaPestis))     (subclass ?C LifeThreateningAgent))	WMD.kif 401-404	BiologicalAgent est AgentOfOrganismFn YersiniaPestis BiologicalAgent est une sous-classe de LifeThreateningAgent
(=>     (equal ?CLASS         (GeographicPartTypeFn ?TYPE ?AREA))     (subclass ?CLASS ?TYPE))	Geography.kif 6921-6923	Secteur g�ographique est GeographicPartTypeFn secteur g�ographique and secteur g�ographique secteur g�ographique est une sous-classe de secteur g�ographique
(=>     (equal ?P         (PlantFn Apple))     (subclass ?P DeciduousTree))	Food.kif 2184-2186	Plante est PlantFn Apple plante est une sous-classe de DeciduousTree
(=>     (equal ?P         (PlantFn Basil))     (subclass ?P HerbaceousPlant))	Food.kif 2170-2172	Plante est PlantFn Basil plante est une sous-classe de HerbaceousPlant
(=>     (equal ?P         (PlantFn Blueberry))     (subclass ?P Shrub))	Food.kif 2210-2212	Plante est PlantFn Blueberry plante est une sous-classe de Shrub
(=>     (equal ?P         (PlantFn Broccoli))     (subclass ?P CabbagePlant))	Food.kif 2396-2398	Plante est PlantFn Broccoli plante est une sous-classe de CabbagePlant
(=>     (equal ?P         (PlantFn ButternutSquash))     (subclass ?P HerbaceousPlant))	Food.kif 2403-2405	Plante est PlantFn ButternutSquash plante est une sous-classe de HerbaceousPlant
(=>     (equal ?P         (PlantFn CashewNut))     (subclass ?P BotanicalTree))	Food.kif 2421-2423	Plante est PlantFn CashewNut plante est une sous-classe de BotanicalTree
(=>     (equal ?P         (PlantFn Celery))     (subclass ?P HerbaceousPlant))	Food.kif 2427-2429	Plante est PlantFn Celery plante est une sous-classe de HerbaceousPlant
(=>     (equal ?P         (PlantFn Cilantro))     (subclass ?P HerbaceousPlant))	Food.kif 2529-2531	Plante est PlantFn Cilantro plante est une sous-classe de HerbaceousPlant
(=>     (equal ?P         (PlantFn Garlic))     (subclass ?P HerbaceousPlant))	Food.kif 2584-2586	Plante est PlantFn Garlic plante est une sous-classe de HerbaceousPlant
(=>     (equal ?P         (PlantFn Mint))     (subclass ?P HerbaceousPlant))	Food.kif 2672-2674	Plante est PlantFn Mint plante est une sous-classe de HerbaceousPlant
(=>     (equal ?P         (PlantFn Mustard))     (subclass ?P HerbaceousPlant))	Food.kif 2696-2698	Plante est PlantFn Mustard plante est une sous-classe de HerbaceousPlant
(=>     (equal ?P         (PlantFn Parsley))     (subclass ?P HerbaceousPlant))	Food.kif 2733-2735	Plante est PlantFn Parsley plante est une sous-classe de HerbaceousPlant
(=>     (equal ?P         (PlantFn Scallion))     (subclass ?P HerbaceousPlant))	Food.kif 3360-3362	Plante est PlantFn Scallion plante est une sous-classe de HerbaceousPlant
(=>     (equal ?P         (PlantFn Sesame))     (subclass ?P HerbaceousPlant))	Food.kif 3397-3399	Plante est PlantFn Sesame plante est une sous-classe de HerbaceousPlant
(=>     (equal ?P         (PlantFn Strawberry))     (subclass ?P HerbaceousPlant))	Food.kif 3483-3485	Plante est PlantFn Strawberry plante est une sous-classe de HerbaceousPlant
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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