consequent

(=>     (and         (instance ?BACTERIUM BacterialAgent)         (instance ?BACTERIUM ?CLASS)         (biochemicalAgentSyndrome ?CLASS ?SYNDROME))     (instance ?SYNDROME BacterialDisease))	WMD.kif 1124-1129	If an entity is an instance of bacterial agent and the entity is an instance of a kind of biochemical agent and a disease or syndrome is a biochemical agent syndrome of a kind of biochemical agent, then the disease or syndrome is an instance of bacterial disease
(=>     (diseaseMedicine ?DISEASE Antibiotic ?PROCESS)     (instance ?DISEASE BacterialDisease))	WMD.kif 1274-1276	If a disease or syndrome is disease treatment antibiotic for a kind of process, then the disease or syndrome is an instance of bacterial disease
(=>     (diseaseMedicine ?DISEASE Bacitracin ?PROCESS)     (and         (instance ?DISEASE BacterialDisease)         (subclass ?PROCESS Putting)))	WMD.kif 1322-1326	If a disease or syndrome is disease treatment bacitracin for a kind of process, then the disease or syndrome is an instance of bacterial disease and a kind of process is a subclass of putting
(=>     (subclass ?A Antibiotic)     (exists (?D)         (and             (instance ?D BacterialDisease)             (medicine ?A ?D))))	Mid-level-ontology.kif 10994-10999	If a kind of medicine is a subclass of antibiotic, then there exists a disease or syndrome such that the disease or syndrome is an instance of bacterial disease and a kind of medicine is medicine for the disease or syndrome

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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